Model checking mobile ad hoc networks
- 4 August 2016
- journal article
- research article
- Published by Springer Science and Business Media LLC in Formal Methods in System Design
- Vol. 49 (3), 159-189
- https://doi.org/10.1007/s10703-016-0254-7
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- Verification of mobile ad hoc networks: An algebraic approachTheoretical Computer Science, 2011
- A process calculus for Mobile Ad Hoc NetworksScience of Computer Programming, 2010
- Static analysis of topology-dependent broadcast networksInformation and Computation, 2010
- ACTLW – An action-based computation tree logic with unless operatorInformation Sciences, 2008
- An Observational Theory for Mobile Ad Hoc NetworksElectronic Notes in Theoretical Computer Science, 2007
- A framework for security analysis of mobile wireless networksTheoretical Computer Science, 2006
- Towards a Calculus For Wireless SystemsElectronic Notes in Theoretical Computer Science, 2006
- Formal verification of standards for distance vector routing protocolsJournal of the ACM, 2002
- An action-based framework for veryfying logical and behavioural properties of concurrent systemsComputer Networks and ISDN Systems, 1993
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986