我們想向您介紹 Choreo - 一個用於 Quint 中分佈式協議規範的結構化基礎。 跳過空白文件。獲取用於消息傳遞、狀態管理和經過實戰檢驗的分佈式系統模式的預構建抽象。