Verification of customizable blockchain consensus rule using a formal method.

Published in: IEEE ICBC (2020)

Keyphrases

synthetic data
support vector machine
detection method
pairwise
experimental evaluation
dynamic programming
theoretical analysis
high accuracy
evaluation method
high precision
classification method
error rate
mutual information
image processing
computational cost
k means
multiscale
similarity measure