Aoi Ono, Tatsuhiro Tsuchiya. Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages. In 29th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2024, Osaka, Japan, November 13-15, 2024. pages 195-196, IEEE, 2024. [doi]
Abstract is missing.