A User Guide to HyTech
Abstract elided by the publisher.
Related papers
- HYTECH: A Model Checker for Hybrid Systems CAV 1997
- User-guided program reasoning using Bayesian inference PLDI 2018
- Can guided decomposition help end-users write larger block-based programs? a mobile robot experiment OOPSLA 2022
- EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation OOPSLA 2014
- Developing a GUIDE Using Object-Oriented Programming OOPSLA 1991
- Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning APLAS 2019
- Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq PLDI 2024
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022