Formal Techniques for Protocol Specification and Verification
Author :
Sunshine, Carl
Author_Institution :
The Rand Corporation
Volume :
12
Issue :
9
fYear :
1979
Firstpage :
20
Lastpage :
27
Abstract :
Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.
Keywords :
Computer interfaces; Computer networks; Formal specifications; Power system modeling; Process design; Protocols;
