Applying Formal Verification to a Cache Coherence Protocol in TLS.

Xin Lai Cong Liu Zhiying Wang

Published in: EMS (2011)

Keyphrases

formal verification
coloured petri nets
model checker
model checking
cryptographic protocols
bounded model checking
symbolic model checking
automated verification
temporal logic
lightweight
rough sets
parameter estimation
software systems
formal analysis