Experimental Analysis of Different Techniques for Bounded Model Checking

This publication has 14 references indexed in Scilit:

• Efficient Computation of Recurrence Diameters
  Published by Springer Nature ,2002
• Can BDDs compete with SAT solvers on bounded model checking?
  Proceedings of the 39th conference on Design automation - DAC '02, 2002
• Effective use of boolean satisfiability procedures in the formal verification of superscalar and VLIW
  Published by Association for Computing Machinery (ACM) ,2001
• SAT-Based Verification without State Space Traversal
  Published by Springer Nature ,2000
• Tuning SAT Checkers for Bounded Model Checking
  Published by Springer Nature ,2000
• Symbolic Model Checking without BDDs
  Published by Springer Nature ,1999
• Equivalence checking using cuts and heaps
  Published by Association for Computing Machinery (ACM) ,1997
• The industrial success of verification tools based on stålmarck's method
  Published by Springer Nature ,1997
• SATO: An efficient propositional prover
  Lecture Notes in Computer Science, 1997
• Software for Analytical Development of Communications Protocols
  AT&T Technical Journal, 1990