TLA工具箱1.4.5_TLA Toolbox 1.4.5下载地址

集成开发环境编写和检查TLA +规格

TLA +是一种规范语言，其目的是帮助在创建分布式和并行系统的高规格。

TLA工具箱的设计，以允许您使用TLC模型检查和TLAPS以及TLA +防爆系统来创建和验证TLA +的神器出山:www.shenqi73.comIDE。