我们想向您介绍 Choreo - 一个用于 Quint 中分布式协议规范的结构化基础。 跳过空白文件。获取用于消息传递、状态管理和经过实战检验的分布式系统模式的预构建抽象。