Exploiting Symmetry When Model-Checking Software

This publication has 14 references indexed in Scilit:

• Symmetry reductions in model checking
  Published by Springer Nature ,1998
• Combining partial order and symmetry reductions
  Published by Springer Nature ,1997
• Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada
  ACM Transactions on Software Engineering and Methodology, 1994
• Exploiting symmetry in temporal logic model checking
  Published by Springer Nature ,1993
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Defining conditional independence using collapses
  Theoretical Computer Science, 1992
• Trace theory
  Published by Springer Nature ,1987
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983