Evènement pour le groupe
Graphes et Logique
Date | 2013-03-19 11:00-12:00 |
Titre | A Formal Analysis in Coq of a Handshake Randomised Distributed Algorithm |
Résumé | Under some hypothesis on the distributed system, there is no deterministic solution of certain classical problems, as the handshake problem. Randomised solutions are then needed to solve those problems. We present a formalisation in Coq of a distributed randomised algorithm that solves this problem. This allows us to formally prove properties of this algorithm such as termination and probabilistic results. |
Lieu | Salle 178 |
Orateur | Allyx Fontaine |
Email | allyx.fontaine@labri.fr |
Url | LaBRI |
Aucun document lié à cet événement.
RetourRetour à l'index