Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z

Zarina Shukur, and Nursyahidah Alias, and Bahari Idrus, and Mohd Hazali Mohamed Halip, (2009) Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z. Jurnal Kejuruteraan, 21 . pp. 85-96.


Official URL:


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.

Item Type:Article
Keywords:Formal specification; Z, Z/EVES; network protocol;
Journal:Jurnal Kejuruteraan
ID Code:289
Deposited By: Mr Fazli Nafiah -
Deposited On:20 Dec 2010 06:44
Last Modified:14 Dec 2016 06:26

Repository Staff Only: item control page