From Invariant Checking to Invariant Inference Using Randomized Search
Abstract elided by the publisher.
Related papers
- Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion TACAS 2022
- Induction duality: primal-dual search for invariants POPL 2022
- Learning refinement types ICFP 2015
- SLING: using dynamic analysis to infer program invariants in separation logic PLDI 2019
- Inductive invariant generation via abductive inference OOPSLA 2013
- Data-driven precondition inference with learned features PLDI 2016
- Complexity and information in invariant inference POPL 2020
- Maximal Quantified Precondition Synthesis for Linear Array Loops ESOP 2024