Stepwise Development of Distributed Algorithms (Research Abstract)

Manamiary Bruno Andriamiarina 1
1 VERIDIS - VERIfication pour les systèmes DIStribués
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications : UMR7503
Abstract : Abstract. We study distributed algorithms using the "correct-by-construction process", which involves the Event B method and the refinement process. These algorithms integrate non-functional requirements like probabilistic aspects. Therefore, it appears that the correct-by-construction process should integrate probabilistic arguments to be considered as a development and verification framework for distributed algorithms. We present here preliminary elements of a global approach on how to take into account probabilistic arguments during the development of distributed algorithms, and we illustrate this approach with the study of distributed coloring algorithms.
Type de document :
Pré-publication, Document de travail
2011
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00606204
Contributeur : Manamiary Bruno Andriamiarina <>
Soumis le : mardi 5 juillet 2011 - 16:30:27
Dernière modification le : mercredi 20 février 2019 - 01:15:09
Document(s) archivé(s) le : lundi 12 novembre 2012 - 10:11:03

Fichier

_ANDRIAMIARINA_Abstract_FME_Sy...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00606204, version 1

Collections

Citation

Manamiary Bruno Andriamiarina. Stepwise Development of Distributed Algorithms (Research Abstract). 2011. 〈inria-00606204〉

Partager

Métriques

Consultations de la notice

262

Téléchargements de fichiers

303