Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom.
Divjyot SethiMuralidhar TalupurSharad MalikPublished in: ATVA (2014)
Keyphrases
- flow patterns
- communication protocols
- protocol specification
- delay insensitive
- high level
- model checking
- formal specification
- formal specification language
- computational fluid dynamics
- blood flow
- flow field
- control flow
- application level
- database
- information flow
- programming language
- case study
- web services
- real time