ConsensusDays 21 / S1.3 / Verificación Formal de la Tolerancia a Fallos Bizantinos en Blockchain - Vincent Gramoli | Knoovi