Interpolant-Based Transition Relation Approximation

This publication has 14 references indexed in Scilit:

• An interpolating theorem prover
  Theoretical Computer Science, 2005
• Abstractions from proofs
  Published by Association for Computing Machinery (ACM) ,2004
• A Symbolic Approach to Predicate Abstraction
  Published by Springer Nature ,2003
• Interpolation and SAT-Based Model Checking
  Published by Springer Nature ,2003
• Successive approximation of abstract transition relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The S LAM project
  Published by Association for Computing Machinery (ACM) ,2002
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Symbolic Model Checking without BDDs
  Published by Springer Nature ,1999
• Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
  The Journal of Symbolic Logic, 1997
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
  The Journal of Symbolic Logic, 1957