C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Verification of Consensus Algorithms Tolerating Malicious Faults.
Bernadette Charron-Bost
Henri Debrat
Stephan Merz
Published in:
SSS (2011)
Keyphrases
</>
formal verification
data structure
computational complexity
orders of magnitude
learning algorithm
computational cost
optimization problems
theoretical analysis
neural network
wireless sensor networks
worst case
open source
model checking
graph theory