Survey of Formal Verification Methods for Smart Contracts on Blockchain.

Yvonne Murray David A. Anisi

Published in: NTMS (2019)

Keyphrases

formal verification
model checking
neural network
preprocessing
supply chain
orders of magnitude
genetic algorithm
artificial intelligence
programming language
empirical studies
benchmark datasets