Modeloval jsem časovou podmínku DNS výpadku AWS v Quintu a Choreo poté, co jsem v příspěvku na blogu Murrata viděl verzi TLA+. Verze Choreo je upovídanější, ale má některé skutečné výhody pro čitelnost a dokumentování scénářů 🧶 selhání