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