Formal Modeling and Verification of Blockchain System.

Zhangbo Duan Hongliang Mao Zhidong Chen Xiaomin Bai Kai Hu Jean-Pierre Talpin

Published in: ICCMS (2018)

Keyphrases

formal methods
databases
data sets
formal models
formal analysis
formal specification
model checking
colored petri nets
face verification
formal model
petri net
digital libraries
knowledge base
genetic algorithm
machine learning
data mining
real world