Formal specification and verification of communication protocols using automated tools

Milica Barjaktarovic, Shiu Kai Chin, Kamal Jabbour

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

7 Scopus citations

Abstract

This paper compares and contrasts various methods presently available for specification, validation and verification, with emphasis on verification. We describe an application of formal methods to protocol specification, validation, and verification, using an actual protocol as an example. We use a process algebra to build models of an OSI protocol and test these models using a model checker. Model checking allows us to verify large and complex models and use formal methods as practical solutions. We also show an example with an automated theorem prover.

Original languageEnglish (US)
Title of host publicationProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
PublisherIEEE Computer Society
Pages246-253
Number of pages8
StatePublished - 1995
Externally publishedYes
EventProceedings of the 1995 1st IEEE International Conference on Engineering of Complex Computer Systems - Ft.Lauderdale, FL, USA
Duration: Nov 6 1995Nov 10 1995

Other

OtherProceedings of the 1995 1st IEEE International Conference on Engineering of Complex Computer Systems
CityFt.Lauderdale, FL, USA
Period11/6/9511/10/95

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Fingerprint Dive into the research topics of 'Formal specification and verification of communication protocols using automated tools'. Together they form a unique fingerprint.

Cite this