Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Message-Passing Algorithms for the Verification of Distributed Protocols
du groupe Algorithmique Distribuée

Date 2017-09-25  14:00-15:00
TitreMessage-Passing Algorithms for the Verification of Distributed Protocols 
RésuméMessage-passing algorithms (MPAs) are an algorithmic paradigm for the following generic problem: given a system consisting of several interacting components, compute a new version of each component representing its behaviour inside the system. MPAs avoid computing the full state space by propagating messages along the edges of the system interaction graph. We present an MPA for verifying local properties of distributed protocols with a tree communication structure. We report on an implementation, and validate it by means of two case studies, including an analysis of the PGM protocol.  
Lieu178 
OrateurLoïg JEZEQUEL 
UrlIRCCyN, Université de Nantes 



Aucun document lié à cet événement.

Retour
Retour à l'index