Combining partial order reductions with on-the-fly model-checking

This publication has 10 references indexed in Scilit:

• Reducibility in analysis of coordination
  Published by Springer Nature ,2006
• Memory-efficient algorithms for the verification of temporal properties
  Formal Methods in System Design, 1992
• On-the-fly verification of finite transition systems
  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
• Coverage Preserving Reduction Strategies for Reachability Analysis
  Published by Elsevier ,1992
• A stubborn attack on state explosion
  Published by American Mathematical Society (AMS) ,1991
• Event fairness and non-interleaving concurrency
  Formal Aspects of Computing, 1989
• Checking that finite state concurrent programs satisfy their linear specification
  Published by Association for Computing Machinery (ACM) ,1985
• Reasoning about infinite computation paths
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983