| || || Routers (Computer networks). Ad hoc networks (Computer networks). Mobile communication systems. Wireless communication systems.|
| || || Formalisation, modelling, analysis and verification of a network routing protocol : bbetter approach to mobile ad hoc networking B.A.T.M.A.N|
Author: Mehta, Vinay Prakash.
Institution: The University of the South Pacific
Subject: Routers (Computer networks). Ad hoc networks (Computer networks). Mobile communication systems. Wireless communication systems.
Call No.: Pac TK 5105 .543 .M44 2019
Copyright:10-20% of this thesis may be copied without the authors written permission
Abstract: This thesis deals with routing protocols for wireless ad-hoc networks. In this thesis model checking is used to verify and validate such protocols. Model checking is a formal verification technique which is automated and checks for the existence of errors. This allows assessing the functional properties as claimed of a system and for any system a model is required. The model would represent the system and the properties are verified. Similarly, a number of models are created during this research using a tool, (Statistical Model Checking) SMC UPPAAL.