HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Formal Modelling and Verification of Population Protocols

Dominique Méry 1, 2 Mike Poppleton 3
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
3 School of Electronics and Computer Science
ECS - School of Electronics and Computer Science
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.
Complete list of metadata

https://hal.inria.fr/hal-00813033
Contributor : Dominique Méry Connect in order to contact the contributor
Submitted on : Sunday, April 14, 2013 - 7:33:43 PM
Last modification on : Saturday, October 16, 2021 - 11:26:09 AM

Identifiers

  • HAL Id : hal-00813033, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

155