Login / Signup
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee.
Xiaofang Chen
Yu Yang
Ganesh Gopalakrishnan
Ching-Tsun Chou
Published in:
FMCAD (2006)
Keyphrases
</>
formal analysis
computational complexity
cryptographic protocols
database
model checking
colored petri nets
wireless sensor networks
computational cost
worst case
lightweight
space complexity
computing power
communication protocols