Automated Analysis of AODV Using UPPAAL

Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks.
Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
EditorsCormac Flanagan, Barbara König
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Pages173-187
Number of pages15
ISBN (Electronic)978-3-642-28756-5
ISBN (Print)978-3-642-28755-8
DOIs
Publication statusPublished - 1 Apr 2012
EventThe 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2012 - Tallinn, Estonia
Duration: 27 Mar 201230 Mar 2012
Conference number: 18

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin, Heidelberg
Volume7214
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceThe 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2012
Abbreviated titleTACAS 2012
Country/TerritoryEstonia
CityTallinn
Period27/03/1230/03/12

Fingerprint

Dive into the research topics of 'Automated Analysis of AODV Using UPPAAL'. Together they form a unique fingerprint.

Cite this