Counterexamples Revisited: Principles, Algorithms, Applications

This publication has 47 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• From symptom to cause
  Published by Association for Computing Machinery (ACM) ,2003
• Symbolic Localization Reduction with Reconstruction Layering and Backtracking
  Published by Springer Nature ,2002
• On ACTL Formulas Having Linear Counterexamples
  Journal of Computer and System Sciences, 2001
• Symbolic Model Checking without BDDs
  Published by Defense Technical Information Center (DTIC) ,1999
• NuSMV: A New Symbolic Model Verifier
  Lecture Notes in Computer Science, 1999
• An iterative approach to language containment
  Published by Springer Nature ,1993
• Expressibility results for linear-time and branching-time logics
  Published by Springer Nature ,1989
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• The temporal logic of branching time
  Acta Informatica, 1983