Integrating Low Level Symmetries into Reachability Analysis
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 315-330
- https://doi.org/10.1007/3-540-46419-0_22
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Manual and Automatic Exploitation of Symmetries in SPN ModelsPublished by Springer Nature ,1998
- Combining partial order and symmetry reductionsPublished by Springer Nature ,1997
- 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
- Modeling symmetric computer architectures by SWNsPublished by Springer Nature ,1994
- Using state space reduction methods for deadlock analysis in Ada taskingPublished by Association for Computing Machinery (ACM) ,1993
- Coloured Petri NetsPublished by Springer Nature ,1992
- Towards reachability trees for high-level petri netsLecture Notes in Computer Science, 1985
- Efficiency of a Good But Not Linear Set Union AlgorithmJournal of the ACM, 1975