Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq

von Bu, Hao
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)