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