Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model by Henri Debrat and Stephan Merz Jul 27