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
BFT Safety
Artículos, guías y notas de laboratorio relacionados con BFT Safety.
Artículos
1
Índice
Topic