Protocol Specification, Testing and Verification - Guest Editorial.

Carl A. Sunshine

Published in: Comput. Networks (1982)

Keyphrases

protocol specification
communication protocols
formal specification
special issue
formal methods
test generation
transformation rules
formal verification
multi agent systems
fine grained
distributed databases
symbolic execution