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...

Full description

Bibliographic Details

Published in:	Procedia computer science Vol. 93; pp. 299 - 308
Main Authors:	Vattakunnel, Anchal J., Kumar, N. Suresh, Kumar, G Santhosh
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 2016
Subjects:	COAP IoT Model checking Model Verification PROMELA SPIN Model checking COAP SPIN Model Verification PROMELA IoT
ISSN:	1877-0509, 1877-0509
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!