SMT-Based Verification of Solidity Smart Contracts.

Leonardo Alt Christian Reitwießner

Published in: ISoLA (4) (2018)

Keyphrases

model checking
supply chain
statistical machine translation
formal analysis
smart cities
neural network
business processes
formal methods
signature verification
formal verification
word alignment
high security
false acceptance rate