Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems
Abstract elided by the publisher.
Related papers
- Abstractions from proofs POPL 2004
- Interpolation-Based GR(1) Assumptions Refinement TACAS 2017
- Proof Tree Preserving Interpolation TACAS 2013
- Craig Interpolation and Reachability Analysis SAS 2003
- Applications of Craig Interpolants in Model Checking TACAS 2005
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems TACAS 2011
- State of the Union: Type Inference Via Craig Interpolation TACAS 2007
- Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations CAV 2008