论文标题
正式化优化的链接状态路由协议
Formalising the Optimised Link State Routing Protocol
论文作者
论文摘要
路由协议规范传统上是用简单的英语编写的。通常，这会产生歧义，错误甚至矛盾。形式方法技术（例如过程代数）避免了这些问题，从而导致对协议的更精确和可验证的描述。在本文中，我们使用定时过程代数t-awn来建模优化的链接状态路由协议（OLSR）版本2。
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.
