Symmetry and model checking

Authors:

Publisher website

1 January 1993

book chapter
Published by Springer Nature

p. 463-478
DOI:10.1007/3-540-56922-7_38

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Exploiting symmetry in temporal logic model checking
1993
Modal and Temporal Logics
1992
The Temporal Logic of Reactive and Concurrent Systems
1992
High-level Petri Nets
1991
Using branching time temporal logic to synthesize synchronization skeletons
Science of Computer Programming, 1982
Symmetry
1952