An Axiomatic Description of the Transport Protocol of Cyclades
Rechnernetze und Datenfernverarbeitung, Fachtagung der GI und NTG
Communication protocols and error recovery procedures
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
An Improved Method for Constructing Multiphase Communications Protocols
IEEE Transactions on Computers
Model Checking Communication Protocols
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
A Validation Technique for Tightly Coupled Protocols
IEEE Transactions on Computers
Verification Technology Transfer
25 Years of Model Checking
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
Research: Designing bug-free protocols with SPIN
Computer Communications
Research: Protocol validation by simultaneous reachability analysis
Computer Communications
Test generation for interworking systems
Computer Communications
| Hi-index | 0.01 |
A technique for the validation of protocols in communications systems is described. It can be used for systems composed of processes that can be modeled as finite directed graphs. The validation exhaustively exercises the interaction domain of a system and identifies all occurrences of a number of well-defined error conditions. The method can detect when individual processes have no predefined response to incoming messages, as well as system deadlocks and potential loss of messages due to overflow conditions.