Symmetry reductions in model checking
- 1 January 1998
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- 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 Science and Business Media LLC ,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 IsomorphismPublished by Springer Science and Business Media LLC ,1982
- Polynomial-time algorithms for permutation groupsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980
- AlgebraPublished by Springer Science and Business Media LLC ,1980