Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial Setting
Kukharenko, Vladimir ; Ziborov, Kirill ; Sadykov, Rafael ; Rezin, Ruslan Dvoryadkina, E.B. ; Animitsa, E.G.
SHS Web of Conferences, 2021, Vol.93, p.1006 [Periódico revisado por pares]Les Ulis: EDP Sciences
Texto completo disponível