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