Interpolation and SAT-Based Model Checking

This publication has 19 references indexed in Scilit:

• BerkMin: A fast and robust SAT-solver
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Property Checking via Structural Analysis
  Published by Springer Nature ,2002
• Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers
  Published by Springer Nature ,2001
• Benefits of Bounded Model Checking at an Industrial Setting
  Published by Springer Nature ,2001
• Model Checking of Safety Properties
  Formal Methods in System Design, 2001
• SAT-Based Image Computation with Application in Reachability Analysis
  Published by Springer Nature ,2000
• Symbolic Reachability Analysis Based on SAT-Solvers
  Published by Springer Nature ,2000
• Symbolic Model Checking without BDDs
  Published by Springer Nature ,1999
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
  The Journal of Symbolic Logic, 1957