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

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

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)

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

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)