A novel approach to parameterized verification of cache coherence protocols.
Yongjian LiKaiqiang DuanYi LvJun PangShaowei CaiPublished in: ICCD (2016)
Keyphrases
- cryptographic protocols
- model checking
- formal verification
- databases
- protocol specification
- database
- verification method
- computer vision
- communication protocols
- data mining
- formal methods
- network protocols
- application level
- genetic algorithm
- security protocols
- information systems
- face verification
- formal specification
- temporal logic
- wireless networks
- bayesian networks
- knowledge base