VeriSolid: Correct-by-Design Smart Contracts for Ethereum.

Anastasia Mavridou Aron Laszka Emmanouela Stachtiari Abhishek Dubey

Published in: Financial Cryptography (2019)

Keyphrases

decision making
databases
design process
design decisions
design methodology
design tools
optimal design
information retrieval
image processing
mobile robot
knowledge based systems
computer aided