Verification of HotStuff BFT Consensus

Protocol With TLA+/TLC in an Industrial Setting

https://www.shs-conferences.org/articles/shsconf/pdf/2021/04/shsconf_nid2020_01006.pdf?utm_source=chatgpt.com

#readings