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

Hao Bu Meng Sun

Published in: ICFEM (2020)

Keyphrases

colored petri nets
formal methods
model checker
neural network
formal analysis
formal verification
network protocols
real time
data sets
knowledge base
digital libraries
petri net
modeling language
communication protocol
cryptographic protocols
formal proof