欢迎使用TLA +示例 “ TLA +示例”页面是TLA +分布式算法规范的库。 该页面为TLA +社区提供: 现已提供有关TLA +规范的综合库,以概述如何在TLA +中指定算法。 有关每个问题的参考文献和其他有趣信息的完整列表。 您是否有自己的案例研究要与社区分享? 向我们发送一个指针,我们会将其包含在存储库中。 您的规范将帮助社区改进TLA +分析的工具。 实例清单 没有 名称 简短的介绍 Spec的作者 TLAPS证明 TLC检查 二手模块 加号 1个 2PCwithBTM 穆拉特·德米尔巴斯 :heavy_check_mark: FinSet,Int,Seq :hea