Copyright © 2020-2023 www.SOT9.com. All Rights Reserved .
合作联系: QQ: 3217490875
运行环境:WinXP/Win7/Win8/Win10/Win All
软件语言:简体中文
软件类型:国产软件 - 编程软件
授权方式:共享版
软件大小:3.22 MB
推荐星级:
解压密码:
联系方式:暂无联系方式
插件情况:
图片预览:
更新时间:2013-03-09 12:27:00
下载统计:
TLA +规范语言和PlusCal的算法语言
TLA +工具是一个非常有用的实用程序和组件的集合,包括一个程序的排版TLA +的规格,模拟器和模型检查,解决“可执行文件”TLA +规范的一个子类。
TLA +工具包里面的神器出山:www.shenqi73.com,你也可以找到一个PlusCal到TLA +翻译实用,TLA +的语法检查器以及一个解析器。
共有 0 位网友发表了评论,得分 0 分,平均 0 分 查看完整评论