Automatic Deductive Verification with Invisible Invariants
Abstract elided by the publisher.
Related papers
- Parameterized verification of transactional memories PLDI 2010
- Invisible Invariants and Abstract Interpretation SAS 2011
- IIV: An Invisible Invariant Verifier CAV 2005
- The Invariant Checker: Automated Deductive Verification of Reactive Systems CAV 1997
- Inferring Inductive Invariants from Phase Structures CAV 2019
- Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back OOPSLA 2025
- MetAcsl: Specification and Verification of High-Level Properties TACAS 2019
- Safety Verification and Refutation by k-Invariants and k-Induction SAS 2015