Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs.

Philipp Küfner Uwe Nestmann Christina Rickmann

Published in: IFIP TCS (2012)

Keyphrases

formal verification
data structure
computational complexity
significant improvement
distributed systems
computationally efficient
theoretical analysis
data mining
computational cost