Model checking MANETs with arbitrary mobility

DOI10.1007/978-3-642-40213-5_14MaRDI QIDQ2948247zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Fatemeh Ghassemi, Saeide Ahmadi, Ali Movaghar, Wan 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

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

Recommendations

• Model checking mobile ad hoc networks
• Verification of mobile ad hoc networks: an algebraic approach
• A framework for mobile ad hoc networks in Real-Time Maude
• scientific article; zbMATH DE number 1982205
• Modeling and analyzing mobile ad hoc networks in Real-Time Maude

Cited in

(6)

• Modeling and efficient verification of wireless ad hoc networks
• Model checking mobile ad hoc networks
• Topology-Dependent Abstractions of Broadcast Networks
• Formal analysis of leader election in MANETs using Real-Time Maude
• Verification of mobile ad hoc networks: an algebraic approach
• Modeling and analyzing mobile ad hoc networks in Real-Time Maude

This page was built for publication: Model checking MANETs with arbitrary mobility

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2948247)