Loop Invariants from Counterexamples
No abstract available.
DOI 10.1007/978-3-319-66706-5_7
Related papers
- Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation CAV 2015
- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis SAS 2020
- Path invariants PLDI 2007
- Synthesis of ranking functions using extremal counterexamples PLDI 2015
- Probabilistic Abstractions with Arbitrary Domains SAS 2011
- Counterexamples with Loops for Predicate Abstraction CAV 2006
- Under-Approximating Loops in C Programs for Fast Counterexample Detection CAV 2013
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018