Abstract / Description of output
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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, Ireland, April 26, 2020 |
Editors | A. Fehnker, H. Garavel |
Publisher | Open Publishing Association |
Pages | 40-71 |
Number of pages | 32 |
Volume | 316 |
DOIs | |
Publication status | Published - 26 Apr 2020 |
Event | 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020) - Dublin, Ireland Duration: 1 Sept 2020 → … Conference number: 4 http://mars-workshop.org/mars2020/index.html#programme |
Publication series
Name | Electronic Proceedings in Theoretical Computer Science |
---|---|
Publisher | Open Publishing Association |
ISSN (Electronic) | 2075-2180 |
Workshop
Workshop | 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020) |
---|---|
Abbreviated title | MARS 2020 |
Country/Territory | Ireland |
City | Dublin |
Period | 1/09/20 → … |
Internet address |