Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates
Abstract elided by the publisher.
Related papers
- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference TACAS 2011
- Data-driven precondition inference with learned features PLDI 2016
- Program verification using templates over predicate abstraction PLDI 2009
- Predicate abstraction for software verification POPL 2002
- Data-Driven Invariant Learning for Probabilistic Programs CAV 2022
- Maximal Quantified Precondition Synthesis for Linear Array Loops ESOP 2024
- Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion TACAS 2022
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025