A Technique for Invariant Generation
Abstract elided by the publisher.
Related papers
- Powerful Techniques for the Automatic Generation of Invariants CAV 1996
- Non-linear loop invariant generation using Gröbner bases POPL 2004
- Inductive invariant generation via abductive inference OOPSLA 2013
- Invariants of quantum programs: characterisations and generation POPL 2017
- Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation CAV 2015
- Bounded exhaustive test input generation from hybrid invariants OOPSLA 2014
- Non-linear reasoning for invariant synthesis POPL 2018
- Reasoning Algebraically About P-Solvable Loops TACAS 2008