Login / Signup
Verification of the Futurebus+ Cache Coherence Protocol.
Edmund M. Clarke
Orna Grumberg
Hiromi Hiraishi
Somesh Jha
David E. Long
Kenneth L. McMillan
Linda A. Ness
Published in:
CHDL (1993)
Keyphrases
</>
cryptographic protocols
protocol specification
formal analysis
model checker
model checking
formal verification
lightweight
formal proof
authentication protocol
coloured petri nets
petri net model
colored petri nets
security protocols
formal methods
tcp ip
provably secure
communication protocol
network protocols
standard model
petri net
asynchronous circuits
trusted third party