The Verification of the On-Chip COMA Cache Coherence Protocol.
Thuy Duong VuLi ZhangChris R. JesshopePublished in: AMAST (2008)
Keyphrases
- cryptographic protocols
- protocol specification
- functional verification
- formal analysis
- model checker
- high speed
- model checking
- low cost
- formal proof
- high density
- formal methods
- lightweight
- analog vlsi
- network protocols
- communication protocols
- colored petri nets
- face verification
- signature verification
- authentication protocol
- verification method
- single chip
- formal verification
- real time
- formal specification
- petri net
- web services