A Formal Verification Method for Smart Contract.

Xiaobing Wang Xiaoyu Yang Chunyi Li

Published in: DSA (2020)

Keyphrases

verification method
model checking
temporal logic
formal specification
formal methods
supply chain
databases
feature selection
formal analysis
search engine
decision making
expert systems
evolutionary algorithm
quality of service
moral hazard