Statistical Model Checking of Opportunistic Network Protocols

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

[img] Text
CS14MTECH11001.pdf - Submitted Version
Restricted to Registered users only until 12 July 2019.

Download (2MB) | Request a copy


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: 08 Sep 2016 10:00
Publisher URL:
Related URLs:

Actions (login required)

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