软件名称：[B]TLA +工具2.1.5_TLA+ Tools 2.1.5[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：3.22 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

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

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

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

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

[url=http://www.sot9.com/soft/101817.html][B]TLA +工具2.1.5_TLA+ Tools 2.1.5[/B][/url]

点这里下载->TLA +工具2.1.5_TLA+ Tools 2.1.5 [ 下载地址 ]