Formal Modeling and Verification of Blockchain Consensus Protocols: A Case Study on ChainMaker.

Minfan Xu, Shuo Zhou, Xian Xu, Huan Long

Browse the full ICFEM paper archive.