Sciweavers

Share
FORTE
2004

Automatized Verification of Ad Hoc Routing Protocols

9 years 1 months ago
Automatized Verification of Ad Hoc Routing Protocols
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two model checking tools, SPIN and UPPAAL, using the verification of the Lightweight Underlay Network Ad hoc Routing protocol (LUNAR) as a case study. Insights are reported in terms of identifying important modeling considerations and the types of ad hoc protocol properties that can realistically be verified.
Oskar Wibling, Joachim Parrow, Arnold Neville Pear
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where FORTE
Authors Oskar Wibling, Joachim Parrow, Arnold Neville Pears
Comments (0)
books