Das DNS-Rennbedingungen-Problem des AWS-Ausfalls in Quint und Choreo modelliert, nachdem ich eine TLA+-Version in Murrats Blogbeitrag gesehen habe. Die Choreo-Version ist ausführlicher, bietet jedoch einige echte Vorteile für die Lesbarkeit und die Dokumentation von Fehlerszenarien 🧶