Login / Signup
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