Partial order reduction: Model-checking using representatives

This publication has 18 references indexed in Scilit:

• Combining partial order reductions with on-the-fly model-checking
  Formal Methods in System Design, 1996
• Rational and Recognizable Complex Trace Languages
  Information and Computation, 1995
• Proving partial order properties
  Theoretical Computer Science, 1994
• 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
• Defining conditional independence using collapses
  Theoretical Computer Science, 1992
• Event fairness and non-interleaving concurrency
  Formal Aspects of Computing, 1989
• Characterizing finite Kripke structures in propositional temporal logic
  Theoretical Computer Science, 1988
• The complementation problem for Büchi automata with applications to temporal logic
  Theoretical Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986