Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

FORTE
2004

favoriteEmaildiscussreport

225views Formal Methods» more FORTE 2004»

Automatized Verification of Ad Hoc Routing Protocols

13 years 5 months ago

Automatized Verification of Ad Hoc Routing Protocols

Download user.it.uu.se

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

Real-time Traffic

Ad Hoc Protocol | Ad Hoc Routing Protocol | FORTE 2004 | FORTE 2007 | Network Ad Hoc |

claim paper

Related Content

» On Performance Modeling of Ad Hoc Routing Protocols

» Resilience to Dropping Nodes in Mobile Ad Hoc Networks with LinkState Routing

» On automatic verification of selfstabilizing population protocols

» SHARP a hybrid adaptive routing protocol for mobile ad hoc networks

» Formal Modeling of BeeAdHoc A Bioinspired Mobile Ad Hoc Network Routing Protocol

» Experimenting with an Ad Hoc wireless network on campus insights and experiences

» Infrastructurebased routing in wireless mobile ad hoc networks

» SEAR a secure efficient ad hoc on demand routing protocol for wireless networks

» Routing Table Dynamics in Mobile AdHoc Networks A Continuum Model

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2004
Where	FORTE
Authors	Oskar Wibling, Joachim Parrow, Arnold Neville Pears

Comments (0)