Login / Signup
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141).
Bernadette Charron-Bost
Stephan Merz
Andrey Rybalchenko
Josef Widder
Published in:
Dagstuhl Reports (2013)
Keyphrases
</>
formal verification
data structure
model checking
computationally efficient
theoretical analysis
distributed computation
learning algorithm
significant improvement
optimization problems
benchmark datasets
orders of magnitude
computational complexity