Formal Techniques for Protocol Specification and Verification

Authors:
C. Sunshine
Affiliations:
The Rand Corporation
Venue:
Computer
Year:
1979

Citing 0
Cited 3

Modeling and Verification of Communication Protocols in Sara: The X.21 Interface

IEEE Transactions on Computers
Calibrating embedded protocols on asynchronous systems

Information Sciences: an International Journal
Case study: Protocol converter validation through deductive inference: a case study

Computer Communications

Quantified Score

Hi-index	4.10

Visualization

Abstract

Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.