4 research outputs found
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.Comment: In Proceedings MARS 2020, arXiv:2004.1240
Formal Modeling and Analysis of Mobile Ad hoc Networks
Fokkink, W.J. [Promotor]Luttik, S.P. [Copromotor