تم تصميم حالة سباق DNS لانقطاع AWS في Quint و Choreo بعد رؤية إصدار TLA + في منشور مدونة Murrat. إصدار Choreo أكثر إسهالا ، ولكن له بعض المزايا الحقيقية لسهولة القراءة وتوثيق سيناريوهات 🧶 الفشل