Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs.

Bernard Boigelot Patrice Godefroid

Published in: Formal Methods Syst. Des. (1999)

Keyphrases

communication protocols
protocol specification
state space
communication protocol
model checking
markov chain
communication networks
symbolic representation
formal verification
end users
computer simulation
formal methods
asynchronous circuits
concurrent systems