García Merayo, María De Las MercedesAndrés Sánchez, CésarMaag, StéphaneCavalli, AnaNúñez García, Manuel2023-06-202023-06-202009-121530-136210.1109/APSEC.2009.37https://hdl.handle.net/20.500.14352/4220316th Asia-Pacific Software Engineering Conference.DEC 01-03, 2009.Bat Ferringhi, MALAYSIA.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.engjournal articlehttp://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5358585http://www.ieee.org/open access519.8Protocol TestingFormal MethodsTimed SystemsPassive TestingMANET routing protocols.Investigación operativa (Matemáticas)1207 Investigación Operativa