Formal Specification and Verification of CSMA/CD Protocol Using Z
Universiti Kebangsaan Malaysia, Zarina Shukur, Nursyahidah Alias, Bahari Idrus, Mohd Hazali Mohamed Halip · Jurnal Kejuruteraan · 2009
formal Z.Kemudian, pengesahsahihan dilakukan ke atas spesifikasi tersebut dengan menggunakan teknik pembuktian teorem yang disokong oleh alatan pembukti Z/EVES.Sembilan teorem telah dibangunkan berdasarkan kepada sembilan operasi yang telah dispesifikasikan.Dari kajian didapati bahasa Z berupaya untuk menspesifikasikan