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

Hao Bu, Meng Sun

Browse the full ICFEM paper archive.