Exploiting symmetry in temporal logic model checking
- 1 August 1996
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 9 (1-2), 77-104
- https://doi.org/10.1007/bf00625969
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Symmetry and model checkingLecture Notes in Computer Science, 1993
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Spectral techniques in digital logicSignal Processing, 1985
- Towards reachability trees for high-level petri netsLecture Notes in Computer Science, 1985
- Polynomial-time algorithms for permutation groupsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980