在看到Murrat的部落格文章中的TLA+版本後,模擬了AWS故障的DNS競爭條件於Quint和Choreo。 Choreo版本更冗長,但在可讀性和記錄故障場景方面有一些真正的優勢 🧶