Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages.

Aoi Ono, Tatsuhiro Tsuchiya

Browse the full PRDC paper archive.