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