%0 Journal Article
%A García Merayo, María De Las Mercedes
%A Andrés Sánchez, César
%A Maag, Stéphane
%A Cavalli, Ana
%A Núñez García, Manuel
%T Analysis of the OLSR Protocol by Using Formal Passive Testing
%D 2009
%@ 1530-1362
%U https://hdl.handle.net/20.500.14352/42203
%X In this paper we apply a passive testing methodology to the analysis of a non-trivial system. In our framework, so-called invariants provide us with a formal representation of the requirements of the system. In order to precisely express new properties in multi-node environments, in this paper we introduce a new kind of invariants. We apply the resulting framework to perform a complete study of a MANET routing protocol: The Optimized Link State Routing protocol.
%~