Verification of the Futurebus+ Cache Coherence Protocol.
Edmund M. ClarkeOrna GrumbergHiromi HiraishiSomesh JhaDavid E. LongKenneth L. McMillanLinda A. NessPublished in: CHDL (1993)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- formal verification
- lightweight
- formal proof
- authentication protocol
- coloured petri nets
- petri net model
- colored petri nets
- security protocols
- formal methods
- tcp ip
- provably secure
- communication protocol
- network protocols
- standard model
- petri net
- asynchronous circuits
- trusted third party