Verifying a CSMA/CD-Protocol with CCS

J. Parrow

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.

LFCS report ECS-LFCS-86-18

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