Modeling and Verification of CKB Consensus Protocol in Coq.

Xiaokun Luan Meng Sun

Published in: QRS Companion (2021)

Keyphrases

formal methods
colored petri nets
formal analysis
cryptographic protocols
model checker
lightweight
model checking
modeling method
formal proof
protocol specification
database
mobile devices
petri net
inference rules
multi party
formal verification