Probabilistic model checking of AODV

DOI10.1007/978-3-030-59854-9_6zbMATH Open1483.68037OpenAlexW3094890558MaRDI QIDQ2056982FDOQ2056982

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

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

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)

Cited In (6)

• Tweaking the odds in probabilistic timed automata
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Modelling and verifying the AODV routing protocol
• 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)