Skip to Main Content
This paper presents a verification approach specific for expressing and verifying the services of routing protocols for mobile ad hoc networks (MANETs). The proposed approach performs a powerful verification on routing protocols, and is sufficient to confirm correctness of protocols when used in most situations. The case study with a routing protocol for MANETs found a flaw in the protocol, showing the effectiveness of this approach.
Date of Conference: 31 May-2 June 2004