Penspesifikasian dan Pengesahsahihan Formal Protokol CSMA/CD Menggunakan Z

This paper discusses the formal specification and validation for csma/cd protocol. the z specification language is used to specify a node in a network and a situation in a bus implementation for csma/cd protocol. one basic type, four free types, one global variables, two state schemas and nine operation schemas that represent csma/cd protocol have been specified by using the z language. the specification has been validated by using theorem proving techniques supported by z/eves theorem prover. nine theorems have been identified based on the nine specified operations. this study has shown that, z has the ability to specify a communication protocol. beside that, the usage of support tools during a proving process can save time dan energy and reduce error-prone.