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

This publication has 21 references indexed in Scilit:

• A Partial Approach to Model Checking
  Information and Computation, 1994
• Proving partial order properties
  Theoretical Computer Science, 1994
• On-the-fly verification of finite transition systems
  Formal Methods in System Design, 1992
• Defining conditional independence using collapses
  Theoretical Computer Science, 1992
• Adding liveness properties to coupled finite-state machines
  ACM Transactions on Programming Languages and Systems, 1990
• Event fairness and non-interleaving concurrency
  Formal Aspects of Computing, 1989
• An efficient verification method for parallel and distributed programs
  Published by Springer Nature ,1989
• Appraising fairness in languages for distributed programming
  Distributed Computing, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Propositional dynamic logic of looping and converse is elementarily decidable
  Information and Control, 1982