Relaxed visibility enhances partial order reduction

This publication has 12 references indexed in Scilit:

• Partial-order methods for model checking: from linear time to branching time
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Combining partial order reductions with on-the-fly model-checking
  Formal Methods in System Design, 1996
• Refining dependencies improves partial-order verification methods (extended abstract)
  Published by Springer Nature ,1993
• All from one, one for all: on model checking using representatives
  Published by Springer Nature ,1993
• On-the-fly verification with stubborn sets
  Published by Springer Nature ,1993
• A stubborn attack on state explosion
  Formal Methods in System Design, 1992
• Memory-efficient algorithms for the verification of temporal properties
  Formal Methods in System Design, 1992
• Verification of distributed programs using representative interleaving sequences
  Distributed Computing, 1992
• Defining conditional independence using collapses
  Theoretical Computer Science, 1992