A scalable verification solution for blockchains.

Jason Teutsch Christian Reitwießner

Published in: CoRR (2019)

Keyphrases

genetic algorithm
optimal solution
expert systems
mathematical model
integer programming
data sets
databases
neural network
decision making
image sequences
special case
multi objective
model checking
highly scalable
functional verification