A Survey of Verification, Validation and Testing Solutions for Smart Contracts.

Chaïmaa Benabbou Önder Gürcan

Published in: BCCA (2021)

Keyphrases

formal verification
optimal solution
symbolic execution
model checking
test generation
supply chain
real world
machine learning
website
image sequences
search algorithm
lower bound
scheduling problem
test cases
similar problems