Verification Techniques for Cache Coherence Protocols.

Fong Pong Michel Dubois

Published in: ACM Comput. Surv. (1997)

Keyphrases

cryptographic protocols
formal verification
protocol specification
verification method
e learning
face verification
formal analysis
decision trees
case study
model checking
signature verification
authentication protocol
communication protocol