Wireless Mobile Ad-Hoc Network Protocols and Evaluation With Model Checking

A Mobile Ad-hoc NETwork (MANET) is a wireless network set up temporarily without a wired infrastructure (routers, switches, servers, cables, access points, etc.). The wireless nodes in a MANET may move around and each one of them may need to forward packets for other components in the network. Because they can be deployed quickly, MANETs could be used for disaster rescue, battle field communication, sensor networks, etc. this paper focuses on investigating the specific properties that a wireless routing protocol needs to satisfy, evaluating existing wireless routing protocols with model checking, and designing better protocols.