On the Verification of Timed Ad Hoc Networks

DOI10.1007/978-3-642-24310-3_18zbMath1348.68115OpenAlexW2109318253MaRDI QIDQ3172855

Arnaud Sangnier, Giorgio Delzanno, Othmane Rezine, Riccardo Traverso, Parosh Aziz Abdulla

Publication date: 7 October 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_18

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Related Items (7)

Modeling and efficient verification of wireless ad hoc networks ⋮ Parameterized verification of time-sensitive models of ad hoc network protocols ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Parameterized verification of coverability in infinite state broadcast networks ⋮ Unnamed Item ⋮ Model Checking Parameterised Multi-token Systems via the Composition Method

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parameterized verification of time-sensitive models of ad hoc network protocols
• Model checking of systems with many identical timed processes
• Static analysis of topology-dependent broadcast networks
• On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks
• Query-Based Model Checking of Ad Hoc Network Protocols
• A Timed Calculus for Wireless Systems
• Parameterized Verification of Ad Hoc Networks
• Subgraphs and well‐quasi‐ordering
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols

This page was built for publication: On the Verification of Timed Ad Hoc Networks