Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Manamiary Bruno Andriamiarina Connect in order to contact the contributor
Submitted on : Tuesday, July 5, 2011 - 4:30:27 PM
Last modification on : Friday, February 4, 2022 - 3:34:48 AM
Long-term archiving on: : Monday, November 12, 2012 - 10:11:03 AM


Files produced by the author(s)


  • HAL Id : inria-00606204, version 1



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



Record views


Files downloads