The Invariant Checker: Automated Deductive Verification of Reactive Systems
No abstract available.
DOI 10.1007/3-540-63166-6_42
Related papers
- STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems CAV 1996
- Scalability and precision by combining expressive type systems and deductive verification OOPSLA 2021
- Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back OOPSLA 2025
- Automatic Deductive Verification with Invisible Invariants TACAS 2001
- Automated Verification of Parallel Nested DFS TACAS 2020
- Modularity for decidability of deductive verification with applications to distributed systems PLDI 2018
- Iso-Recursive Multiparty Sessions and their Automated Verification ESOP 2025
- Automating Deductive Verification for Weak-Memory Programs TACAS 2018