Analyzing Mobile ad hoc Network Protocols via Probabilistic Model Checking [1/26]

Опубликовано 6 сентября 2016, 5:32

Ad hoc networks are formed as collections of nodes that communicate over wireless channels. The dynamic and distributed nature of such networks means that randomization is often used to improve efficiency and to achieve symmetric solutions. In this talk, we demonstrate the applicability of an automated formal verification technique called probabilistic model checking to the analysis of ad hoc network protocols. A probabilistic model checker calculates the probability of a given temporal logic property being satisfied, as opposed to validity. Probabilistic specifications typically express statements such as is