A Proof of Correctness for the Tardis Cache Coherence Protocol.

Xiangyao Yu Muralidaran Vijayaraghavan Srinivas Devadas

Published in: CoRR (2015)

Keyphrases

correctness criterion
formal proof
provably correct
linear logic
lightweight
theorem proving
theorem prover
formal analysis
cryptographic protocols
application layer
tcp ip
coloured petri nets
neural network
authentication protocol
rfid systems