Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL.

Qi Zhang Yuteng Lu Meng Sun

Published in: BlockSys (2020)

Keyphrases

model checking
model checker
colored petri nets
temporal logic
formal verification
lightweight
protocol specification
formal specification
formal analysis
cryptographic protocols
multi agent
neural network
control system
face verification
verification method