Evènement pour le 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