An Automatic Parameterized Verification of FLASH Cache Coherence Protocol.

Yongjian Li Jialun Cao Kaiqiang Duan

Published in: QRS (2018)

Keyphrases

cryptographic protocols
formal analysis
lightweight
fully automatic
protocol specification
model checker
formal proof
data sets
face recognition
formal methods
network protocols