DocumentCode
2407221
Title
Protocol specification & verification methods: an overview
Author
Hinchey, Michael G. ; Jarvis, Stephen A.
Author_Institution
Comput. Lab., Cambridge Univ., UK
Volume
2
fYear
1993
fDate
6-11 Sep 1993
Firstpage
581
Abstract
The need for appropriate methods for the specification and verification of data communication protocols is highlighted. Difficulties with commonly-used methods are discussed briefly, and an approach based on a combination of CSP and Timed CSP is advocated
Keywords
communicating sequential processes; data communication; formal specification; formal verification; protocols; Communicating Sequential Processes; Timed CSP; data communication protocols; protocol specification; protocol verification; Automata; Computer languages; Computer networks; Computer science; Concurrent computing; Laboratories; Natural languages; Object oriented modeling; Protocols; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Networks, 1993. International Conference on Information Engineering '93. 'Communications and Networks for the Year 2000', Proceedings of IEEE Singapore International Conference on
Print_ISBN
0-7803-1445-X
Type
conf
DOI
10.1109/SICON.1993.515654
Filename
515654
Link To Document