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

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=nSM8QKSYaYI


Duration: 1:01:40
263 views
5

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



Other Videos By Microsoft Research


2016-09-05Service Placement in Stream-Based Overlay Networks
2016-09-05Protocol Composition Logics
2016-09-05THE FUTURE IS NOT FRAMED
2016-09-05Model Checking of Predicate Abstracted Programs without BDDs [1/2]
2016-09-05Social Computing Symposium - Panel - Extracting Signal from Noise in Social Networking
2016-09-05Menger's theorem for infinite graphs
2016-09-052D, 3D and Surface Texture Analysis and Synthesis
2016-09-05Anonymity in Peer-to-peer Systems
2016-09-05Patterns as Signs
2016-09-05Social Computing Symposium - Positive Externalities
2016-09-05Analyzing Mobile ad hoc Network Protocols via Probabilistic Model Checking [1/26]
2016-09-05Are aspects really needed for aspect-oriented programming?
2016-09-05Live Long and Prosper! Exercise, Nutrition and Supplements for Optimal Energy and Productivity
2016-09-05Social Computing Symposium - Visualizing Social Interactions and Collaboration History
2016-09-05Social Computing Symposium - Back Channels: Power and the Active Audience
2016-09-05Social Computing Symposium - Exploring the Social Institutional Dimensions of MoSoSo Design
2016-09-05A Search Engine for Natural Language Applications
2016-09-05Social Computing Symposium - Fostering Open Source Social Moments
2016-09-05Beyond Brainstorming: Eight Secrets for Generating Big, Bold, Creative and Profitable Ideas [1/72]
2016-09-05ShaRE: A Run-time System for High-performance Virtualized Routers
2016-09-05Social Computing Symposium - Community Through Pictures


Tags:
microsoft research