Het DNS-raceconditie van de AWS-uitval gemodelleerd in Quint en Choreo na het zien van een TLA+-versie in Murrat's blogpost. De Choreo-versie is uitgebreider, maar heeft enkele echte voordelen voor leesbaarheid en het documenteren van faalscenario's 🧶