Efficient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning

This publication has 9 references indexed in Scilit:

• Traversal Techniques for Concurrent Systems
  Published by Springer Nature ,2002
• Comparing Symbolic and Explicit Model Checking of a Software System
  Published by Springer Nature ,2002
• Model Checking the Garbage Collection Mechanism of SMV
  Electronic Notes in Theoretical Computer Science, 2001
• Improving efficiency of symbolic model checking for state-based system requirements
  Published by Association for Computing Machinery (ACM) ,1998
• Disjunctive partitioning and partial iterative squaring
  Published by Association for Computing Machinery (ACM) ,1997
• RuleBase
  Published by Association for Computing Machinery (ACM) ,1996
• Auxiliary variables for extending symbolic traversal techniques to data paths
  Published by Association for Computing Machinery (ACM) ,1994
• Efficient model checking by automated ordering of transition relation partitions
  Published by Springer Nature ,1994
• Symbolic Model Checking
  Published by Springer Nature ,1993