Qi Zhang, Yuteng Lu, Meng Sun 0002. Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL. In Zibin Zheng, Hong-Ning Dai, Xiaodong Fu, Benhui Chen, editors, Blockchain and Trustworthy Systems - Second International Conference, BlockSys 2020, Dali, China, August 6-7, 2020, Revised Selected Papers. Volume 1267 of Communications in Computer and Information Science, pages 3-17, Springer, 2020. [doi]