Abstract: We use the layered structure of communication protocols to derive a verification methodology in CCS. This methodology is applied to the Media Access Sublayer in a Carrier Sense, Multiple Access with Collision Detect protocol. The formal verification step is performed automatically by a program. We discuss the deficiencies (for verification purposes) of the official protocol standard definition.
A revised version of this report appeared as ``Verifying a CSMA/CD-Protocol with CCS''. In Aggarwal, Sabnani (Eds): Proceedings of the 8th IFIP Symposium on Protocol Specification, Testing and Verification , June 1988, pages 373-384. North-Holland (1988).Previous | Index | Next