Automated Modular Verification for Relaxed Communication Protocols.

Andreea Costea Wei-Ngan Chin Shengchao Qin Florin Craciun

Published in: APLAS (2018)

Keyphrases

communication protocols
protocol specification
communication protocol
model checking
semi automated
optimal solution
communication networks
asynchronous circuits
databases
response time
signature verification