Xiaokun Luan, Meng Sun. Modeling and Verification of CKB Consensus Protocol in Coq. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021 - Companion, Hainan, China, December 6-10, 2021. pages 660-667, IEEE, 2021. [doi]
Abstract is missing.