TLA +工具2.1.5_TLA+ Tools 2.1.5下载地址

TLA +规范语言和PlusCal的算法语言

工具包，以及与它们相关的工具

TLA +工具是一个非常有用的实用程序和组件的集合，包括一个程序的排版TLA +的规格，模拟器和模型检查，解决“可执行文件”TLA +规范的一个子类。

TLA +工具包里面的神器出山:www.shenqi73.com，你也可以找到一个PlusCal到TLA +翻译实用，TLA +的语法检查器以及一个解析器。