Verification of the Futurebus+ Cache Coherence Protocol.
Edmund M. ClarkeOrna GrumbergHiromi HiraishiSomesh JhaDavid E. LongKenneth L. McMillanLinda A. NessPublished in: Formal Methods Syst. Des. (1995)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checking
- model checker
- formal proof
- formal verification
- lightweight
- temporal logic
- face verification
- formal methods
- coloured petri nets
- concurrent systems
- verification method
- standard model
- authentication protocol
- elliptic curve
- data sets
- security protocols
- privacy preserving
- metadata