Formal Techniques for Protocol Specification and Verification
- 1 September 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 12 (9) , 20-27
- https://doi.org/10.1109/mc.1979.1658889
Abstract
Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.Keywords
This publication has 16 references indexed in Scilit:
- Specification and Validation of ProtocolsIEEE Transactions on Communications, 1979
- Development and Structure of an X.25 ImplementationIEEE Transactions on Software Engineering, 1979
- Formal Techniques for Protocol Specification and VerificationComputer, 1979
- Connection management in transport protocolsComputer Networks (1976), 1978
- Verification of protocols using symbolic executionComputer Networks (1976), 1978
- Modelling and verification of end-to-end transport protocolsComputer Networks (1976), 1978
- Automated Validation of a Communications Protocol: the CCITT X.21 RecommendationIBM Journal of Research and Development, 1978
- Efficiency of Interprocess Communication Protocols for Computer NetworksIEEE Transactions on Communications, 1977
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976
- An Axiomatic Description of the Transport Protocol of CycladesPublished by Springer Nature ,1976