Thumbnail

A Model Checking Method for Partially Symmetric Systems

Haddad, Serge; Ilié, Jean-Michel; Ajami, Khalil (2000), A Model Checking Method for Partially Symmetric Systems, in Bolognesi, Tommaso; Latella, Diego, Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy, Kluwer Academic Publishers, p. 121-136

View/Open
Type
Communication / Conférence
Date
2000
Conference title
FORTE 2000 13th International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Conference date
2000-10
Conference city
Pise
Conference country
Italie
Book title
Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy
Book author
Bolognesi, Tommaso; Latella, Diego
Publisher
Kluwer Academic Publishers
ISBN
0-7923-7968-3
Pages
121-136
Metadata
Show full item record
Author(s)
Haddad, Serge
Ilié, Jean-Michel
Ajami, Khalil
Subjects / Keywords
Well-Formed Petri nets; Büchi automata; Partial Symmetries; Symmetries; Model-checking; Temporal logic; Verification and validation