Login / Signup
VeriSolid: Correct-by-Design Smart Contracts for Ethereum.
Anastasia Mavridou
Aron Laszka
Emmanouela Stachtiari
Abhishek Dubey
Published in:
CoRR (2019)
Keyphrases
</>
design issues
engineering design
design space
optimal design
case study
knowledge based systems
real time
data structure
building blocks
evolutionary algorithm
search algorithm
image segmentation
web services
website
knowledge base
information systems
data sets