@inproceedings{b6dd05f1fe844c43a48350cabf2d8a01,
title = "Statistical model checking of wireless mesh routing protocols",
abstract = "Several case studies indicate that model checking is limited in the analysis of mesh networks: state space explosion restricts applicability to at most 10 node networks, and quantitative reasoning, often sufficient for network evaluation, is not possible. Both deficiencies can be overcome to some extent by the use of statistical model checkers, such as SMC-Uppaal. In this paper we illustrate this by a quantitative analysis of two well-known routing protocols for wireless mesh networks, namely AODV and DYMO. Moreover, we push the limits and show that this technology is capable of analysing networks of up to 100 nodes.",
author = "Peter H{\"o}fner and Annabelle McIver",
year = "2013",
doi = "10.1007/978-3-642-38088-4_22",
language = "English",
isbn = "9783642380877",
volume = "7871",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "322--336",
editor = "Guillaume Brat and Neha Rungta and Arnaud Venet",
booktitle = "NASA Formal Methods - 5th International Symposium, NFM 2013, Proceedings",
address = "United States",
note = "5th International Symposium on NASA Formal Methods, NFM 2013 ; Conference date: 14-05-2013 Through 16-05-2013",
}