Login / Signup

Hierarchical cache coherence protocol verification one level at a time through assume guarantee.

Xiaofang ChenYu YangMichael DelisiGanesh GopalakrishnanChing-Tsun Chou
Published in: HLDVT (2007)
Keyphrases
  • cryptographic protocols
  • formal analysis
  • protocol specification
  • lightweight
  • hierarchical structure
  • formal methods
  • database
  • real time
  • neural network
  • web services
  • wireless sensor networks
  • security protocols