| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste résolvant le Problème du Rendez-Vous
Résumé : Les algorithmes distribués probabilistes se formulent simplement, cependant leur analyse est complexe car il faut traiter à la fois l'aspect distribué et l'aspect probabiliste. Dans cet article, nous présentons une formalisation en Coq d'un algorithme distribué probabiliste résolvant le problème du rendez-vous. Cette formalisation nous permet de raisonner et de prouver des propriétés telles que la terminaison ou des calculs de probabilités.
Cited literature [21 references]
https://hal.inria.fr/hal-00779700
Contributor : Ist Inria Saclay <>
Submitted on : Tuesday, January 22, 2013 - 2:50:42 PM
Last modification on : Wednesday, May 23, 2018 - 9:12:01 PM
Document(s) archivé(s) le : Saturday, April 1, 2017 - 8:15:22 AM
Contributor : Ist Inria Saclay <>
Submitted on : Tuesday, January 22, 2013 - 2:50:42 PM
Last modification on : Wednesday, May 23, 2018 - 9:12:01 PM
Document(s) archivé(s) le : Saturday, April 1, 2017 - 8:15:22 AM
File
jfla2013-08.pdf
Explicit agreement for this submission