Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/19760
Title: Proving the correctness of data link layer protocol in FDDI networks
Authors: Er, Chuan Teck
Keywords: DRNTU::Engineering::Electrical and electronic engineering
Issue Date: 1994
Abstract: 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 validation techniques are employed to evaluate the correctness of the safety and liveness properties of the data link layer.
URI: http://hdl.handle.net/10356/19760
Rights: NANYANG TECHNOLOGICAL UNIVERSITY
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:EEE Theses

Files in This Item:
File Description SizeFormat 
EEE_THESES_290.pdf
  Restricted Access
20 MBAdobe PDFView/Open

Page view(s) 10

448
checked on Sep 22, 2020

Download(s) 10

2
checked on Sep 22, 2020

Google ScholarTM

Check

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.