Partial Order Reduction in Directed Model Checking

This publication has 20 references indexed in Scilit:

• The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• An O(n log n) unidirectional distributed algorithm for extrema finding in a circle
  Published by Elsevier ,2004
• Trail-Directed Model Checking
  Electronic Notes in Theoretical Computer Science, 2001
• Directed explicit model checking with HSF-SPIN
  Published by Springer Nature ,2001
• Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
  International Journal on Software Tools for Technology Transfer, 2000
• Partial-order reduction in symbolic state space exploration
  Published by Springer Nature ,1997
• Formal verification of a partial-order reduction technique for model checking
  Published by Springer Nature ,1996
• Coverage Preserving Reduction Strategies for Reachability Analysis
  Published by Elsevier ,1992
• Algorithms for Automated Protocol Verification
  AT&T Technical Journal, 1990
• A Formal Basis for the Heuristic Determination of Minimum Cost Paths
  IEEE Transactions on Systems Science and Cybernetics, 1968