Automated validation of a communications protocol: the CCITT X.21 recommendation

Authors:
C. H. West;P. Zafiropulo
Affiliations:
IBM Zurich Research Division Laboratory, Rüschlikon, Switzerland;IBM Zurich Research Division Laboratory, Rüschlikon, Switzerland
Venue:
IBM Journal of Research and Development
Year:
1978

Citing 0
Cited 6

Channel Representations in Protocol Verification

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Validation Technique for Tightly Coupled Protocols

IEEE Transactions on Computers
Modeling and Verification of Communication Protocols in Sara: The X.21 Interface

IEEE Transactions on Computers
New Challenges in Model Checking

25 Years of Model Checking
Some notes on the history of protocol engineering

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.01

Visualization

Abstract

The call establishment procedure of the X.21 interface recommended by the International Telegraph and Telephone Consultative Committee (CCITT) has been validated as a test of a recently developed theory and of an implemented system for automated communications protocol validation. The test demonstrated the applicability of the validation technique and identified a number of points where the interface state diagram does not completely define the interface behavior.