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

Yi-Chun Feng Yuteng Lu Meng Sun

Published in: SEKE (2021)

Keyphrases

model checking
model checker
colored petri nets
formal analysis
temporal logic
cryptographic protocols
formal methods
formal verification
real time
lightweight
asynchronous circuits
protocol specification
communication protocol
security protocols
petri net
multi agent systems
face recognition