A Simple Method for Parameterized Verification of Cache Coherence Protocols.

Ching-Tsun Chou Phanindra K. Mannava Seungjoon Park

Published in: FMCAD (2004)

Keyphrases

cryptographic protocols
neural network
model checking
protocol specification
face verification
communication protocols
concurrent systems
machine learning
information retrieval
security protocols
formal verification
network protocols
real time
data sets
expert systems
multi party