Formale Verifikation des QBFT-Konsensprotokolls | Knoovi