On the Verification of Timed Ad Hoc Networks
DOI10.1007/978-3-642-24310-3_18zbMATH Open1348.68115OpenAlexW2109318253MaRDI QIDQ3172855FDOQ3172855
Arnaud Sangnier, Parosh A. Abdulla, Giorgio Delzanno, Othmane Rezine, Riccardo Traverso
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
Recommendations
- Parameterized verification of time-sensitive models of ad hoc network protocols
- Parameterized verification of ad hoc networks
- Verification of a class of self-timed computational networks
- Modeling and efficient verification of wireless ad hoc networks
- Verification of mobile ad hoc networks: an algebraic approach
- scientific article; zbMATH DE number 1670505
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)
Cites Work
- Subgraphs and well‐quasi‐ordering
- Nets with tokens which carry data
- Query-Based Model Checking of Ad Hoc Network Protocols
- Closed, open, and robust timed networks
- Title not available (Why is that?)
- On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks
- Parameterized Verification of Ad Hoc Networks
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
- Model checking of systems with many identical timed processes
- A Timed Calculus for Wireless Systems
- Parameterized verification of time-sensitive models of ad hoc network protocols
- Static analysis of topology-dependent broadcast networks
Cited In (7)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Parameterized verification of coverability in infinite state broadcast networks
- Parameterized verification of time-sensitive models of ad hoc network protocols
- Model Checking Parameterised Multi-token Systems via the Composition Method
- Modeling and efficient verification of wireless ad hoc networks
- Title not available (Why is that?)
This page was built for publication: On the Verification of Timed Ad Hoc Networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172855)
