Utilizing symmetry when model-checking under fairness assumptions

This publication has 7 references indexed in Scilit:

• Better verification through symmetry
  Formal Methods in System Design, 1996
• Computer-Aided Verification of Coordinating Processes
  Published by Walter de Gruyter GmbH ,1995
• Minimal state graph generation
  Science of Computer Programming, 1992
• High-level Petri Nets
  Published by Springer Nature ,1991
• Reasoning about networks with many identical finite state processes
  Information and Computation, 1989
• Modalities for model checking: branching time logic strikes back
  Science of Computer Programming, 1987
• Propositional Dynamic Logic of looping and converse
  Published by Association for Computing Machinery (ACM) ,1981