Sign in

An Automatic Parameterized Verification of FLASH Cache Coherence Protocol.

Yongjian LiJialun CaoKaiqiang 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