Experience with formal methods in protocol development
- 1 April 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCOMM Computer Communication Review
- Vol. 21 (2) , 81-101
- https://doi.org/10.1145/122419.122425
Abstract
Communication protocols are complex software systems and key components of computer networks. They must be specified completely and implemented correctly. The development of a protocol typically involves several tedious steps. Experience has shown that the use of informal techniques in these steps of protocol development generally produces systems with errors and undesirable behaviors. Formal methods permit the development of highly reliable and easily maintainable communication protocols. This paper presents our experience with using formal methods in the specification, verification, implementation, and conformance testing of OSI protocols.Keywords
This publication has 48 references indexed in Scilit:
- A protocol test generation procedurePublished by Elsevier ,2003
- Semi-automatic implementation of OSI protocolsComputer Networks and ISDN Systems, 1990
- On ferry clip approaches in protocol testingComputer Networks and ISDN Systems, 1989
- Formal methods for protocol testing: a detailed studyIEEE Transactions on Software Engineering, 1989
- OSI conformance testingComputer Networks and ISDN Systems, 1987
- Protocol analysis and synthesis by structured partitionsComputer Networks and ISDN Systems, 1986
- Protocol validation by fair progress state explorationComputer Networks and ISDN Systems, 1985
- Modeling and analysis of communication and cooperation protocols using petri net based modelsComputer Networks (1976), 1982
- A Meta-Implementation for Systems Network ArchitectureIEEE Transactions on Communications, 1982
- Executable Description and Validation of SNAIEEE Transactions on Communications, 1980