Formal Methods for Mobile Ad Hoc Networks: A Survey
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912663099932672 |
|---|---|
| author | Fokkink, Wan van Glabbeek, Rob |
| author_facet | Fokkink, Wan van Glabbeek, Rob |
| contents | In a mobile ad hoc network (MANET), communication is wireless and nodes can move independently. Properly analyzing the functional correctness, performance, and security of MANET protocols is a challenging task. A wide range of formal specification and analysis techniques have been employed in the analysis of MANET protocols. This survey presents an overview of rigorous formal analysis techniques and their applications, with a focus on MANET routing protocols. Next to functional correctness, also real-time properties and security are considered. Moreover, an overview is given of formal frameworks that target MANETs specifically, as well as mobility models that underlie performance analyses of MANET protocols. The aim is to give a comprehensive and coherent overview of this rather scattered field, in which a variety of rigorous formal methods have been applied to analyze different aspects of a wide range of MANET protocols. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_18730 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Formal Methods for Mobile Ad Hoc Networks: A Survey Fokkink, Wan van Glabbeek, Rob Networking and Internet Architecture Logic in Computer Science C.2.2; D.2.4; F.3.1 In a mobile ad hoc network (MANET), communication is wireless and nodes can move independently. Properly analyzing the functional correctness, performance, and security of MANET protocols is a challenging task. A wide range of formal specification and analysis techniques have been employed in the analysis of MANET protocols. This survey presents an overview of rigorous formal analysis techniques and their applications, with a focus on MANET routing protocols. Next to functional correctness, also real-time properties and security are considered. Moreover, an overview is given of formal frameworks that target MANETs specifically, as well as mobility models that underlie performance analyses of MANET protocols. The aim is to give a comprehensive and coherent overview of this rather scattered field, in which a variety of rigorous formal methods have been applied to analyze different aspects of a wide range of MANET protocols. |
| title | Formal Methods for Mobile Ad Hoc Networks: A Survey |
| topic | Networking and Internet Architecture Logic in Computer Science C.2.2; D.2.4; F.3.1 |
| url | https://arxiv.org/abs/2510.18730 |