ConsensusDays 21 / S1.3 / Formale Verifikation der Blockchain BFT - Vincent Gramoli | Knoovi