Symmetry and model checking
- 1 August 1996
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 9 (1-2), 105-131
- https://doi.org/10.1007/bf00625970
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Utilizing symmetry when model checking under fairness assumptions: An automata-theoretic approachLecture Notes in Computer Science, 1995
- Using state space reduction methods for deadlock analysis in Ada taskingACM SIGSOFT Software Engineering Notes, 1993
- Symmetry and model checkingLecture Notes in Computer Science, 1993
- Exploiting symmetry in temporal logic model checkingLecture Notes in Computer Science, 1993
- Temporal and Modal LogicPublished by Elsevier ,1990
- Reasoning about networks with many identical finite state processesInformation and Computation, 1989
- 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
- Deciding full branching time logicInformation and Control, 1984
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982