A framework for mobile ad hoc networks in Real-Time Maude

DOI10.1007/978-3-319-12904-4_9MaRDI QIDQ2945136zbMATH OpenOpenAlexFDO

Authors Si Liu, Peter Csaba Ölveczky, José Meseguer

Publication date 9 September 2015

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-12904-4_9

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10) Network protocols (68M12)

Recommendations

• Modeling and analyzing mobile ad hoc networks in Real-Time Maude
• Formal analysis of leader election in MANETs using Real-Time Maude
• Modeling and efficient verification of wireless ad hoc networks
• Modeling Routing Protocols in Adhoc Networks
• Verification of mobile ad hoc networks: an algebraic approach

Cited in

(9)

• Verification of mobile ad hoc networks: an algebraic approach
• A framework for security analysis of mobile wireless networks
• MARE: Resource discovery and configuration in ad hoc networks
• Modeling and analyzing mobile ad hoc networks in Real-Time Maude
• Modeling Routing Protocols in Adhoc Networks
• Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
• Modeling and efficient verification of wireless ad hoc networks
• Model checking MANETs with arbitrary mobility
• Formal analysis of leader election in MANETs using Real-Time Maude

This page was built for publication: A framework for mobile ad hoc networks in Real-Time Maude

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