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
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.
Type de document :
Communication dans un congrès
Einar Broch Johnsen and Luigia Petre. iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland. Springer, 2013, LNCS
Liste complète des métadonnées

https://hal.inria.fr/hal-00813033
Contributeur : Dominique Méry <>
Soumis le : dimanche 14 avril 2013 - 19:33:43
Dernière modification le : jeudi 11 janvier 2018 - 06:25:25

Identifiants

  • HAL Id : hal-00813033, version 1

Collections

Citation

Dominique Méry, Mike Poppleton. Formal Modelling and Verification of Population Protocols. Einar Broch Johnsen and Luigia Petre. iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland. Springer, 2013, LNCS. 〈hal-00813033〉

Partager

Métriques

Consultations de la notice

372