A New Approach for the Verification of Cache Coherence Protocols.

Fong Pong Michel Dubois

Published in: IEEE Trans. Parallel Distributed Syst. (1995)

Keyphrases

cryptographic protocols
protocol specification
formal verification
model checking
communication protocols
signature verification
concurrent systems
database
data sets
real world
authentication protocol
test generation
functional verification