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

点这里下载 → 下载地址
相关Tags:

TLA +工具2.1.5_TLA+ Tools 2.1.5软件简介

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

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

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

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

随便看看

软件简略信息
  • 软件大小:3.22 MB
  • 下载次数:99
  • 更新时间:2013-03-09 12:27:00
  • 不能下载请报告错误,谢谢
本类热门软件