Statistical Model Checking of Opportunistic Network Protocols

Rathor, Ankit (2016) Statistical Model Checking of Opportunistic Network Protocols. Masters thesis, Indian Institute of Technology Hyderabad.

CS14MTECH11001.pdf - Submitted Version

Download (2MB) | Preview


Statistical model checking is one of the powerful methods, used to analyze any large system. Test bed experiments are used for analysis of routing algorithms in computer network. For more deeper penetration, we use statistical model checking to analyze properties and performance of opportunistic networks. In order to do so, we link a statistical model checker to a discrete event simulator for opportunistic network. This linking allows statistical model checking of several opportunistic network properties and protocols.

[error in script]
IITH Creators:
IITH CreatorsORCiD
Item Type: Thesis (Masters)
Uncontrolled Keywords: Statistical model checking, delay tolerant networks, opportunistic networks, TD658
Subjects: Computer science > Big Data Analytics
Divisions: Department of Computer Science & Engineering
Depositing User: Team Library
Date Deposited: 08 Sep 2016 10:00
Last Modified: 30 Jul 2019 08:00
Publisher URL:
Related URLs:

Actions (login required)

View Item View Item
Statistics for RAIITH ePrint 2738 Statistics for this ePrint Item