Skip to Main content Skip to Navigation
Conference papers

Verification of Ad Hoc Networks with Node and Communication Failures

Abstract : We investigate the impact of node and communication failures on the decidability and complexity of parametric verification of a formal model of ad hoc networks. We start by considering three possible types of node failures: intermittence, restart, and crash. Then we move to three cases of communication failures: nondeterministic message loss, message loss due to conflicting emissions, and detectable conflicts. Interestingly, we prove that the considered decision problem (reachability of a control state) is decidable for node intermittence and message loss (either nondeterministic or due to conflicts) while it turns out to be undecidable for node restart/crash, and conflict detection.
Document type :
Conference papers
Complete list of metadata
Contributor : Davide Sangiogi <>
Submitted on : Monday, May 29, 2017 - 4:00:51 PM
Last modification on : Friday, October 30, 2020 - 12:04:03 PM
Long-term archiving on: : Wednesday, September 6, 2017 - 11:32:04 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : hal-00909367, version 1


Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro. Verification of Ad Hoc Networks with Node and Communication Failures. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.235-250. ⟨hal-00909367⟩



Record views


Files downloads