Symmetry reductions in model checking
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 147-158
- https://doi.org/10.1007/bfb0028741
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Symmetry and model checkingFormal Methods in System Design, 1996
- Exploiting symmetry in temporal logic model checkingFormal Methods in System Design, 1996
- Better verification through symmetryFormal Methods in System Design, 1996
- Condensed state spaces for symmetrical Coloured Petri NetsFormal Methods in System Design, 1996
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Canonical labeling of graphsPublished by Association for Computing Machinery (ACM) ,1983
- Group-Theoretic Algorithms and Graph IsomorphismLecture Notes in Computer Science, 1982
- Polynomial-time algorithms for permutation groupsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980
- AlgebraPublished by Springer Nature ,1974