Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.

Tristan Le Gall Bertrand Jeannet Thierry Jéron

Published in: AMAST (2006)

Keyphrases

communication protocols
abstract interpretation
model checking
protocol specification
termination analysis
static analysis
communication protocol
active rules
formal specification
communication networks
dynamic analysis
queueing networks
active databases
formal methods
heavy traffic
reasoning engine
data flow