USP Theses Collection


Menu



A B C D E F G H I J-L M N O P Q-R S T U-V W-Y
close this section of the library Routers (Computer networks). Ad hoc networks (Computer networks). Mobile communication systems. Wireless communication systems.


View the PDF document 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
Award: M.Sc.
Subject: Routers (Computer networks). Ad hoc networks (Computer networks). Mobile communication systems. Wireless communication systems.
Date: 2019
Call No.: Pac TK 5105 .543 .M44 2019
BRN: 470360
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.
Disclaimer & Copyright l Contact Us l
© Copyright 1968 - 2018. All Rights Reserved.
USP Library
The University of the South Pacific
Laucala Campus, Suva, Fiji
Tel: +679 323 1000