Using Bounded Model Checking to Verify Consensus Algorithms.

Tatsuhiro Tsuchiya André Schiper

Published in: DISC (2008)

Keyphrases

orders of magnitude
learning algorithm
computationally efficient
computational complexity
machine learning algorithms
bounded model checking
computational cost
domain specific
times faster
knowledge base
worst case
benchmark datasets