C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
PVCoherence: Designing Flat Coherence Protocols for Scalable Verification.
Meng Zhang
Jesse D. Bingham
John Erickson
Daniel J. Sorin
Published in:
IEEE Micro (2015)
Keyphrases
</>
cryptographic protocols
model checking
verification method
lightweight
protocol specification
web scale
signature verification
functional verification
neural network
face verification
formal methods
highly scalable
formal verification