Parameterized verification of deadlock freedom in symmetric cache coherence protocols.

Brad D. Bingham Mark R. Greenstreet Jesse D. Bingham

Published in: FMCAD (2011)

Keyphrases

cryptographic protocols
model checking
formal verification
protocol specification
digital libraries
security protocols
high security
false acceptance rate
voting protocols