STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems
No abstract available.
Related papers
- The Invariant Checker: Automated Deductive Verification of Reactive Systems CAV 1997
- Automate where Automation Fails: Proof Strategies for Frama-C/WP TACAS 2024
- Real-Time FRP ICFP 2001
- On-The-Fly Algorithm for Reachability in Parametric Timed Games TACAS 2024
- A Deductive Verification Infrastructure for Probabilistic Programs OOPSLA 2023
- Local and Compositional Reasoning for Optimized Reactive Systems CAV 2019
- Temporal Proof Methodologies for Real-time Systems POPL 1991
- Scalability and precision by combining expressive type systems and deductive verification OOPSLA 2021