Formal Modeling and Verification of Smart Contracts.

Xiaomin Bai Zijing Cheng Zhangbo Duan Kai Hu

Published in: ICSCA (2018)

Keyphrases

formal methods
data sets
real world
modeling framework
smart grid
formal models
machine learning
supply chain
description logics
model checking
functional verification