Abstracting Induction by Extrapolation and Interpolation
No abstract available.
Related papers
- Nested interpolants POPL 2010
- Interpolating Strong Induction CAV 2019
- Automatic Verification of RMA Programs via Abstraction Extrapolation VMCAI 2018
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- Program extrapolation with jennisys OOPSLA 2012
- Decomposing Farkas Interpolants TACAS 2019
- Extrapolating Tree Transformations CAV 2002