HotStuffNota de investigación13 min
Verificación Formal en Consenso: Modelado matemático con TLA+
Qué especifica TLA+ en un consenso BFT, cómo TLC y Apalache buscan contraejemplos a la safety y qué cubren frente a las pruebas tipo Twins.
Tema
Formal Verification
Artículos, guías y notas de laboratorio relacionados con Formal Verification.
Artículos
1
Índice
Topic