Interpolant-Based Transition Relation Approximation
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 39-51
Abstract
No abstract availableKeywords
All Related Versions
This publication has 14 references indexed in Scilit:
- An interpolating theorem proverTheoretical Computer Science, 2005
- Abstractions from proofs2004
- A Symbolic Approach to Predicate Abstraction2003
- Interpolation and SAT-Based Model Checking2003
- Successive approximation of abstract transition relations2002
- The S LAM project2002
- Counterexample-Guided Abstraction Refinement2000
- Symbolic Model Checking without BDDs1999
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmeticThe Journal of Symbolic Logic, 1997
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957