Proving the correctness of data link layer protocol in FDDI networks

• Main Author: Er, Chuan Teck
• Other Authors: Zahid H Qureshi
• Format: Theses and Dissertations
• Language: English
• Published: 2009
• Subjects: DRNTU::Engineering::Electrical and electronic engineering
• Online Access: http://hdl.handle.net/10356/19760
• Institution: Nanyang Technological University

This thesis is concerned with the application of formal methods for the specification and verification of data link layer protocol in FDDI networks. The formal specification language PROMELA is used to formalise the procedure rules and correctness requirements of the protocol. Automated protocol val...