Modeling and Verification of CKB Consensus Protocol in UPPAAL (S).

Yi-Chun Feng, Yuteng Lu, Meng Sun

Browse the full SEKE paper archive.