Towards Formal Verification of Distributed Algorithms.

Benedikt Bollig

Published in: TIME (2015)

Keyphrases

formal verification
learning algorithm
orders of magnitude
symbolic model checking
data structure
computational complexity
model checking
multi agent
cooperative
lower bound
distributed breakout
evolutionary algorithm
significant improvement
computational cost
bounded model checking