Verificação Formal do Protocolo de Consenso QBFT | Knoovi