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 metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/inria-00606204
Contributor : Manamiary Bruno Andriamiarina <>
Submitted on : Tuesday, July 5, 2011 - 4:30:27 PM
Last modification on : Thursday, February 21, 2019 - 2:02:02 PM
Long-term archiving on : Monday, November 12, 2012 - 10:11:03 AM

File

_ANDRIAMIARINA_Abstract_FME_Sy...
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00606204, version 1

Collections

Citation

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

Share

Metrics

Record views

269

Files downloads

363