Holistic Verification of Blockchain Consensus.

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

Published in: DISC (2022)

Keyphrases

model checking
formal verification
face verification
data sets
directed networks
database
social networks
digital libraries
face detection
formal methods
signature verification
test generation
asynchronous circuits
false acceptance