Combining Abstraction Refinement and SAT-Based Model Checking

This publication has 18 references indexed in Scilit:

• Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure
  International Journal on Software Tools for Technology Transfer, 2005
• A survey of recent advances in SAT-based formal verification
  International Journal on Software Tools for Technology Transfer, 2005
• Abstraction Refinement for Bounded Model Checking
  2005
• Improvements to the Implementation of Interpolant-Based Model Checking
  Lecture Notes in Computer Science, 2005
• Automatic Abstraction without Counterexamples
  2003
• Liveness Checking as Safety Checking
  Electronic Notes in Theoretical Computer Science, 2002
• Module Checking
  Information and Computation, 2001
• GRASP: a search algorithm for propositional satisfiability
  IEEE Transactions on Computers, 1999
• Temporal and Modal Logic
  1990
• Specification and verification of concurrent systems in CESAR
  1982