Message-Passing Algorithms for the Verification of Distributed Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Message-Passing Algorithms for the Verification of Distributed Protocols

Javier Esparza
  • Fonction : Auteur
  • PersonId : 867111

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.
Fichier principal
Vignette du fichier
VMCAI2014.pdf (396.59 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01699321 , version 1 (02-02-2018)

Identifiants

  • HAL Id : hal-01699321 , version 1

Citer

Loïg Jezequel, Javier Esparza. Message-Passing Algorithms for the Verification of Distributed Protocols. 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014), Jan 2014, San Diego, United States. ⟨hal-01699321⟩
68 Consultations
103 Téléchargements

Partager

Gmail Facebook X LinkedIn More