Modelling and Verification of CoAP over Routing Layer Using SPIN Model Checker

Many of the communication protocols developed for the resource constrained devices are rarely subjected to protocol verification. Design flaws like deadlocks, livelocks, non-progressive cycles etc. may come into view during the realization and can cause catastrophic effects in safety-critical applic...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Procedia computer science Jg. 93; S. 299 - 308
Hauptverfasser:	Vattakunnel, Anchal J., Kumar, N. Suresh, Kumar, G Santhosh
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 2016
Schlagworte:	COAP IoT Model checking Model Verification PROMELA SPIN Model checking COAP SPIN Model Verification PROMELA IoT
ISSN:	1877-0509, 1877-0509
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!