Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.
Kai BaukusYassine LakhnechKarsten StahlPublished in: VMCAI (2002)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- formal proof
- safety analysis
- formal verification
- lightweight
- colored petri nets
- coloured petri nets
- communication protocols
- formal specification
- communication protocol
- authentication protocol
- security protocols
- security analysis
- network protocols
- face verification
- temporal logic