Ccs
Our work on compositionally verying safety and liveness of BFT protocols (with Qiyuan Zhao, George Pîrlea, Karolina Grzeszkiewicz, and Seth Gilbert) will be presented at CCS’24.
Our work on compositionally verying safety and liveness of BFT protocols (with Qiyuan Zhao, George Pîrlea, Karolina Grzeszkiewicz, and Seth Gilbert) will be presented at CCS’24.