Constructing Quantified Invariants via Predicate Abstraction
No abstract available.
Related papers
- Predicate abstraction for software verification POPL 2002
- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference TACAS 2011
- Program verification using templates over predicate abstraction PLDI 2009
- Modular Abstractions of Reactive Nodes Using Disjunctive Invariants APLAS 2011
- A Simple Abstraction of Arrays and Maps by Program Translation SAS 2015
- Stratified Guarded First-Order Transition Systems SAS 2020
- Transition Invariants and Transition Predicate Abstraction for Program Termination TACAS 2011
- Constraint-Based Invariant Inference over Predicate Abstraction VMCAI 2009