Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
No abstract available.
Related papers
- Predicate Abstraction via Symbolic Decision Procedures CAV 2005
- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs VMCAI 2006
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025
- Regular language type inference with term rewriting ICFP 2020
- Automatically learning shape specifications PLDI 2016
- Learning invariants using decision trees and implication counterexamples POPL 2016
- Certified Decision Procedures for Width-Independent Bitvector Predicates OOPSLA 2025
- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes CAV 2022