SHS Web of Conferences

Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial Setting

Vladimir Kukharenko, Kirill Ziborov, Rafael Sadykov and Ruslan Rezin

SHS Web Conf., 93 (2021) 01006

Published online: 12 January 2021

DOI: 10.1051/shsconf/20219301006

Vladimir Kukharenko

Kirill Ziborov

Rafael Sadykov

Ruslan Rezin

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)