Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity.

Jakub Zakrzewski

Published in: VSTTE (2018)

Keyphrases

supply chain
model checking
formal model
smart environments
data sets
face verification
formal analysis
concurrent systems
database
website
face recognition
multiscale
fingerprint verification
moral hazard
principal agent