Login / Signup
Accurate Smart Contract Verification Through Direct Modelling.
Matteo Marescotti
Rodrigo Otoni
Leonardo Alt
Patrick Eugster
Antti E. J. Hyvärinen
Natasha Sharygina
Published in:
ISoLA (3) (2020)
Keyphrases
</>
high quality
image registration
real time
supply chain
high accuracy
database
neural network
machine learning
computationally efficient
model checking
highly accurate
fingerprint verification
asynchronous circuits