Guest Editorial: Protocol Specification, Testing, and Verification.

Carl A. Sunshine

Published in: IEEE Trans. Commun. (1982)

Keyphrases

protocol specification
communication protocols
formal specification
special issue
formal methods
model checking
test generation
formal verification
symbolic execution
databases
process algebra
data driven
test cases
communication protocol