A modelat condiția de cursă DNS de întrerupere AWS în Quint și Choreo după ce a văzut o versiune TLA+ în postarea de pe blogul lui Murrat. Versiunea Choreo este mai detaliată, dar are câteva avantaje reale pentru lizibilitate și documentarea scenariilor 🧶 de eșec