Lazy Abstraction with Interpolants
Author:
Top Cited Papers
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 123-136
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A Practical and Complete Approach to Predicate Refinement2006
- An interpolating theorem proverTheoretical Computer Science, 2005
- Interpolant-Based Transition Relation Approximation2005
- SATABS: SAT-Based Predicate Abstraction for ANSI-C2005
- Abstractions from proofs2004
- Interpolation and SAT-Based Model Checking2003
- The S LAM project2002
- Lazy abstraction2002
- Boolean and Cartesian Abstraction for Model Checking C Programs2001
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957