Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol
In this paper, the authors investigate the modeling and verification of real time systems using a case study on transmission protocol, CSMA/CD. Modeling and verification of real time systems is hot research topic which has practical implications. Such systems are considered as mission critical, as its correctness within timed constraints are of great importance. Through modeling and verifying CSMA/CD protocol using Timed extension of CSP (TCSP) modeling techniques in PAT, they propose a formal model for CSMA/CD protocol and verify its critical properties like deadlock-freeness, divergence-freeness and collision detection in a given bounded delay.