ConsensusDays 21 / S1.3 / Vérification Formelle de la Tolérance aux Pannes Byzantines sur Blockchain - Vincent Gramoli | Knoovi