Combining partial order and symmetry reductions
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Symmetry and model checkingPublished by Springer Nature ,1993
- Exploiting symmetry in temporal logic model checkingPublished by Springer Nature ,1993
- Computer Aided VerificationPublished by Springer Nature ,1993
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Towards reachability trees for high-level petri netsLecture Notes in Computer Science, 1985