We are currently experiencing intermittent issues impacting performance. We apologize for the inconvenience.
By Topic

Formal verification of ad-hoc routing protocols using SPIN model checker

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
de Renesse, R. ; Center for Telecommun. Res., King''s Coll., London, UK ; Aghvami, A.H.

Tests and simulations are the only verification techniques used for ad-hoc network routing protocols. Although these techniques give us an excellent overview of the protocol behavior, some undesirable aspects of the protocol could still be undiscovered. Therefore formal verification is needed. This paper presents a new technique to formally verify such protocols by the use of a well-known model-checker: SPIN. As an example, a formal verification of the wireless adaptive routing protocol (W.A.R.P) has been performed.

Published in:

Electrotechnical Conference, 2004. MELECON 2004. Proceedings of the 12th IEEE Mediterranean  (Volume:3 )

Date of Conference:

12-15 May 2004