Conference Papers Year : 2013

Formal Modelling and Verification of Population Protocols

Abstract

The population protocols of Angluin, Aspnes et al provide a theoretical framework for computability reasoning about algorithms for Mobile Ad-Hoc Networks (MANETs) and Wireless Sensor Networks (WSNs). By developing two example protocols and proving convergence results using the Event- B/RODIN and TLA frameworks, we explore the potential for formal analysis of these protocols.
No file

Dates and versions

hal-00813033 , version 1 (14-04-2013)

Identifiers

  • HAL Id : hal-00813033 , version 1

Cite

Dominique Méry, Mike Poppleton. Formal Modelling and Verification of Population Protocols. iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland. ⟨hal-00813033⟩
187 View
0 Download

Share

More