Model checking mobile ad hoc networks
DOI10.1007/s10703-016-0254-7zbMath1368.68247OpenAlexW2500834352MaRDI QIDQ2363813
Fatemeh Ghassemi, W. J. Fokkink
Publication date: 26 July 2017
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-016-0254-7
model checkingmobile ad hoc networksconstrained labeled transition systemsmulti-hop network constraints
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Network protocols (68M12)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Verification of mobile ad hoc networks: an algebraic approach
- A framework for security analysis of mobile wireless networks
- A process calculus for mobile ad hoc networks
- Modeling and efficient verification of wireless ad hoc networks
- Static analysis of topology-dependent broadcast networks
- Modelling distributed systems.
- ACTLW -- an action-based computation tree logic with unless operator
- A Process Algebra for Wireless Mesh Networks
- Model Checking MANETs with Arbitrary Mobility
- Equational Reasoning on Mobile Ad Hoc Networks
- Formal verification of standards for distance vector routing protocols
- A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol
- A Calculus for Mobile Ad Hoc Networks
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- An action-based framework for veryfying logical and behavioural properties of concurrent systems
- An Observational Theory for Mobile Ad Hoc Networks
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
This page was built for publication: Model checking mobile ad hoc networks
