OLSR version2 Routing Protocol

Description:Formalising the Optimised Link State Routing Protocol
Author(s):Ryan Barry, Rob van Glabbeek, Peter Höfner
Event(s): MARS'20
Paper(s): Formalising the Optimised Link State Routing Protocol


Routing protocol specifications are traditionally written in plain English. Often this yields ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as process algebras, avoid these problems, thus leading to more precise and verifiable descriptions of protocols. In this paper we use the timed process algebra T-AWN for modelling the Optimised Link State Routing protocol (OLSR) version 2.


    1. Download Model
    2. Browse Model
    3. tool(s): AWN
Creative Commons License    This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.