Formal Modeling and Verification of Blockchain Consensus Protocols: A Case Study on ChainMaker. - Minfan Xu; Shuo Zhou; Xian Xu; Huan Long (ICFEM, 2025)