jungly on Nostr: Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial ...
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
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