Constraint-Based Invariant Inference over Predicate Abstraction
No abstract available.
Related papers
- Predicate abstraction for software verification POPL 2002
- Path invariants PLDI 2007
- Program verification using templates over predicate abstraction PLDI 2009
- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference TACAS 2011
- SLING: using dynamic analysis to infer program invariants in separation logic PLDI 2019
- Constraint-Based Relational Verification CAV 2021
- An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs ESOP 2016
- Property Directed Self Composition CAV 2019