Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model.

Henri Debrat Stephan Merz

Published in: Arch. Formal Proofs (2012)

Keyphrases

fault tolerant
distributed systems
fault tolerance
state machine
theoretical analysis
probabilistic model
mathematical model
metadata
objective function
expert systems