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