Model Checking and the State Explosion Problem

This publication has 20 references indexed in Scilit:

• Compressing BMC Encodings with QBF
  Electronic Notes in Theoretical Computer Science, 2007
• Simple Is Better: Efficient Bounded Model Checking for Past LTL
  Lecture Notes in Computer Science, 2005
• Simple Bounded LTL Model Checking
  Lecture Notes in Computer Science, 2004
• Applying SAT Methods in Unbounded Symbolic Model Checking
  2002
• Improving the Encoding of LTL Model Checking into SAT
  2002
• Verifying Safety Properties of a PowerPC− Microprocessor Using Symbolic Model Checking without BDDs
  1999
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Symbolic model checking: 1020 States and beyond
  Information and Computation, 1992
• A machine program for theorem-proving
  Communications of the ACM, 1962