Protocol specification & verification methods: An overview

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Authors

Colleges, School and Institutes

External organisations

  • University of Cambridge
  • Dept. of Computer Science
  • Durham University

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.

Bibliographic note

Publisher Copyright: © 1993 IEEE.

Details

Original languageEnglish
Title of host publicationProceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering
Subtitle of host publicationCommunications and Networks for the Year 2000, SICON 1993
EditorsE.S. Seumahu, G.S. Poo
Publication statusPublished - 1993
Event1993 IEEE Singapore International Conference on Networks/International Conference on Information Engineering, SICON 1993 - Singapore, Singapore
Duration: 6 Sep 199311 Sep 1993

Publication series

NameProceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993
Volume2

Conference

Conference1993 IEEE Singapore International Conference on Networks/International Conference on Information Engineering, SICON 1993
Country/TerritorySingapore
CitySingapore
Period6/09/9311/09/93

Keywords

  • Communicating Sequential Processes, Data communication protocols, Protocol specification, Protocol verification, Timed CSP