Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom.

Divjyot Sethi Muralidhar Talupur Sharad Malik

Published in: CoRR (2014)

Keyphrases

delay insensitive
model checking
flow patterns
data sets
high level
flow field
specification language
authentication protocol
protocol specification
database
state machines
computational fluid dynamics
application level
formal verification
security protocols
functional requirements
source code
database systems