Abstraction of Communication Channels in Promela: A Case Study

We present a case study of how abstractions can be applied to a protocol model, written in Promela, in order to make in amenable for exhaustive state-space exploration, e.g., by SPIN. The protocol is a simple version of the Five Packet Handshake Protocol, which is used in TCP for transmission of sin...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Fersman, Elena, Jonsson, Bengt
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Abstract Model Applied sciences Boolean Variable Computer science control theory systems Computer systems and distributed systems. User interface Concrete Model Exact sciences and technology Message Transmission Model Check Programming languages Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!