Model Checking of Fault-Tolerant Distributed Algorithms: from Classics towards Contemporary

Igor Konnov 1 Stephan Merz 1
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Fault-tolerant distributed algorithms-such as agreement, reliable broadcast, and consensus-lie at the heart of distributed systems. Although these algorithms are tiny in comparison to the rest of the system code, they are hard to design and verify. In this short research statement, we discuss the Byzantine model checker, which was developed for automatic verification of asynchronous fault-tolerant distributed algorithms. Further, we discuss the challenges that are posed by contemporary protocols for Blockchain consensus.
Type de document :
Document associé à des manifestations scientifiques
BCRB 2018 - DSN Workshop on Byzantine Consensus and Resilient Blockchains, Jun 2018, Luxembourg, Luxembourg
Liste complète des métadonnées

https://hal.inria.fr/hal-01899723
Contributeur : Igor Konnov <>
Soumis le : vendredi 19 octobre 2018 - 17:23:12
Dernière modification le : vendredi 9 novembre 2018 - 09:23:25

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01899723, version 1

Collections

Citation

Igor Konnov, Stephan Merz. Model Checking of Fault-Tolerant Distributed Algorithms: from Classics towards Contemporary. BCRB 2018 - DSN Workshop on Byzantine Consensus and Resilient Blockchains, Jun 2018, Luxembourg, Luxembourg. 〈hal-01899723〉

Partager

Métriques

Consultations de la notice

49

Téléchargements de fichiers

76