Login / Signup
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types.
Yuki Nishida
Hiromasa Saito
Ran Chen
Akira Kawata
Jun Furuse
Kohei Suenaga
Atsushi Igarashi
Published in:
CoRR (2021)
Keyphrases
</>
supply chain
neural network
information systems
decision making
multiscale
machine learning
genetic algorithm
decision trees
query processing
image processing
website
database systems
search algorithm
evolutionary algorithm
multiresolution
hidden markov models