Model Checking MANETs with Arbitrary Mobility

DOI10.1007/978-3-642-40213-5_14zbMath1434.68299OpenAlexW1907527420WikidataQ57835218 ScholiaQ57835218MaRDI QIDQ2948247

Ali Movaghar, Saeide Ahmadi, Fatemeh Ghassemi, W. J. Fokkink

Publication date: 30 September 2015

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40213-5_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12) Temporal logic (03B44)

Related Items (4)

Model checking mobile ad hoc networks ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ Formal Analysis of Leader Election in MANETs Using Real-Time Maude

This page was built for publication: Model Checking MANETs with Arbitrary Mobility