Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).

Christian Bartolo Burlò Adrian Francalanza Alceste Scalas

Published in: FORTE (2020)

Keyphrases

communication protocols
protocol specification
communication protocol
communication networks
model checking
database systems
data streams
mobile phone
data integration