Formal Verification of Distributed Algorithms

Bernadette Charron-Bost; Stephan Merz; Andrey Rybalchenko; Josef Widder

doi:10.4230/DagRep.3.4.1

Formal Verification of Distributed Algorithms

Bernadette Charron-Bost ¹ Stephan Merz ² Andrey Rybalchenko ³ Josef Widder ⁴

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems

Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods

3 LRR-TUM - Institut für Informatik

4 Institut für Informationssysteme [Wien]

Abstract : The Dagstuhl Seminar 13141 "Formal Verification of Distributed Algorithms" brought together researchers from the areas of distributed algorithms, model checking, and semi-automated proofs with the goal to establish a common base for approaching the many open problems in verification of distributed algorithms. In order to tighten the gap between the involved communities, who have been quite separated in the past, the program contained tutorials on the basics of the concerned fields. In addition to technical talks, we also had several discussion sessions, whose goal was to identify the most pressing research challenges. This report describes the program and the outcomes of the seminar.

Type de document :

Direction d'ouvrage, Proceedings, Dossier

Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder. 3, Dagstuhl, pp.16, 2013, Dagstuhl Reports, 〈10.4230/DagRep.3.4.1〉

Domaine :

Informatique [cs] / Logique en informatique [cs.LO]

Liste complète des métadonnées

https://hal.inria.fr/hal-00904805
Contributeur : Stephan Merz <>
Soumis le : vendredi 15 novembre 2013 - 11:49:25
Dernière modification le : jeudi 10 mai 2018 - 02:06:41

Formal Verification of Distributed Algorithms

Identifiants

Collections

Citation

Exporter

Métriques

331

Contact

Formal Verification of Distributed Algorithms

Identifiants

Collections

Citation

Exporter

Partager

Métriques

331

Contact