Login / Signup
A Survey of Verification, Validation and Testing Solutions for Smart Contracts.
Chaïmaa Benabbou
Önder Gürcan
Published in:
CoRR (2021)
Keyphrases
</>
formal verification
data sets
decision trees
optimal solution
test generation
real time
neural network
information systems
e learning
supply chain
model checking
solution quality
similar problems
symbolic execution
model based testing