Proving the correctness of data link layer protocol in FDDI networks
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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | English |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/19760 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Nanyang Technological University |
| Language: | English |
| id |
sg-ntu-dr.10356-19760 |
|---|---|
| record_format |
dspace |
| spelling |
sg-ntu-dr.10356-197602023-07-04T15:09:20Z Proving the correctness of data link layer protocol in FDDI networks Er, Chuan Teck Zahid H Qureshi School of Electrical and Electronic Engineering DRNTU::Engineering::Electrical and electronic engineering 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. Master of Science (Communications and Computer Networking) 2009-12-14T06:34:20Z 2009-12-14T06:34:20Z 1994 1994 Thesis http://hdl.handle.net/10356/19760 en NANYANG TECHNOLOGICAL UNIVERSITY 221 p. application/pdf |
| institution |
Nanyang Technological University |
| building |
NTU Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NTU Library |
| collection |
DR-NTU |
| language |
English |
| topic |
DRNTU::Engineering::Electrical and electronic engineering |
| spellingShingle |
DRNTU::Engineering::Electrical and electronic engineering Er, Chuan Teck Proving the correctness of data link layer protocol in FDDI networks |
| description |
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. |
| author2 |
Zahid H Qureshi |
| author_facet |
Zahid H Qureshi Er, Chuan Teck |
| format |
Theses and Dissertations |
| author |
Er, Chuan Teck |
| author_sort |
Er, Chuan Teck |
| title |
Proving the correctness of data link layer protocol in FDDI networks |
| title_short |
Proving the correctness of data link layer protocol in FDDI networks |
| title_full |
Proving the correctness of data link layer protocol in FDDI networks |
| title_fullStr |
Proving the correctness of data link layer protocol in FDDI networks |
| title_full_unstemmed |
Proving the correctness of data link layer protocol in FDDI networks |
| title_sort |
proving the correctness of data link layer protocol in fddi networks |
| publishDate |
2009 |
| url |
http://hdl.handle.net/10356/19760 |
| _version_ |
1772827350346498048 |