Publicação científica
Four-Valued Model Checking for Byzantine Fault Tolerant Consensus Verification
Síntese
O artigo investiga a verificação de protocolos de consenso tolerantes a falhas bizantinas por meio de verificação de modelos com quatro valores, distinguindo informação ausente de informação contraditória.