Holistic Verification of Blockchain Consensus.

Nathalie Bertrand Vincent Gramoli Igor Konnov Marijana Lazic Pierre Tholoniat Josef Widder

Published in: CoRR (2022)

Keyphrases

model checking
formal methods
neural network
machine learning
web services
multiresolution
temporal logic
signature verification
formal verification
fingerprint verification