Probabilistic model checking of AODV

DOI10.1007/978-3-030-59854-9_6MaRDI QIDQ2056982zbMATH OpenOpenAlexFDO

Authors Mojgan Kamali, Joost-Pieter Katoen

Publication date 8 December 2021

Full work available at URL https://doi.org/10.1007/978-3-030-59854-9_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modelling and verifying the AODV routing protocol
• Wired/Wireless Internet Communications
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Modeling Routing Protocols in Adhoc Networks
• Model checking mobile ad hoc networks

Cited in

(6)

• Tweaking the odds in probabilistic timed automata
• Modelling and verifying the AODV routing protocol
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Wired/Wireless Internet Communications
• Model checking mobile ad hoc networks
• A mechanized proof of loop freedom of the (untimed) AODV routing protocol

This page was built for publication: Probabilistic model checking of AODV

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