An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment

This publication has 21 references indexed in Scilit:

• A survey of recent advances in SAT-based formal verification
  International Journal on Software Tools for Technology Transfer, 2005
• A Hybrid of Counterexample-Based and Proof-Based Abstraction
  Published by Springer Nature ,2004
• Experimental Analysis of Different Techniques for Bounded Model Checking
  Published by Springer Nature ,2003
• Automatic Abstraction without Counterexamples
  Published by Springer Nature ,2003
• Interpolation and SAT-Based Model Checking
  Published by Springer Nature ,2003
• A Satisfiability-Based Approach to Abstraction Refinement in Model Checking
  Electronic Notes in Theoretical Computer Science, 2003
• Robust Boolean reasoning for equivalence checking and functional property verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2002
• Benefits of Bounded Model Checking at an Industrial Setting
  Published by Springer Nature ,2001
• Module Checking
  Information and Computation, 2001
• GRASP: a search algorithm for propositional satisfiability
  IEEE Transactions on Computers, 1999