Powerful Techniques for the Automatic Generation of Invariants
No abstract available.
Related papers
- Synthesizing Probabilistic Invariants via Doob's Decomposition CAV 2016
- Non-linear reasoning for invariant synthesis POPL 2018
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025
- Bounded exhaustive test input generation from hybrid invariants OOPSLA 2014
- An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants SAS 2004
- Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems CAV 1993
- Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics CAV 2010
- Predicate abstraction for software verification POPL 2002