Title :
Protocol specification & verification methods: an overview
Author :
Hinchey, Michael G. ; Jarvis, Stephen A.
Author_Institution :
Comput. Lab., Cambridge Univ., UK
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;
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
DOI :
10.1109/SICON.1993.515654
