Max DiGiacomo-Castillo, Yiyun Liang, Advay Pal, John C. Mitchell. Model Checking Bitcoin and other Proof-of-Work Consensus Protocols. In 2020 IEEE International Conference on Blockchain, Blockchain 2020, Rhodes Island, Greece, November 2-6, 2020. pages 351-358, IEEE, 2020. [doi]
Abstract is missing.