Formal specification and verification of the kernel functional unit of the OSI session layer protocol and service using CCS

This paper describes an application of formal methods to protocol specification, validation and verification. Formal methods can be incorporated in protocol design and testing so that time and resources are saved on implementation, testing, and documentation. In this paper we show how formal methods...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Software engineering notes 1996-05, Vol.21 (3), p.270-279
Hauptverfasser:	Barjaktarovic, Milica, Chin, Shiu-Kai, Jabbour, Kamal
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!