这是名为 tlaplus 的 Linux 应用程序，其最新版本可以作为 tla2tools.jar 下载。 它可以在免费的工作站托管提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行名为 tlaplus 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
SCREENSHOTS
Ad
特拉普拉斯
商品描述
TLC 是一个显式状态模型检查器，用于检查以 TLA+ 编写的规范。 TLA+Toolbox 是 TLA+ 的 IDE。 TLA+ 是一种用于对程序和系统（尤其是并发和分布式程序和系统）进行建模的高级语言。 它基于这样的理念：精确描述事物的最佳方法是使用简单的数学。 TLA+ 及其工具对于消除基本设计错误非常有用，这些错误在代码中很难发现且纠正起来成本高昂。
特性
- 关于 TLC 是一个显式状态模型检查器
- 对于以 TLA+ 编写的规范
- TLA+Toolbox 是 TLA+ 的 IDE
- TLA+ 是一种用于对程序和系统进行建模的高级语言
- TLA+ 及其工具对于消除基本设计错误非常有用
程式语言
爪哇岛
分类
该应用程序也可以从 https://sourceforge.net/projects/tlaplus.mirror/ 获取。 它已托管在 OnWorks 中，以便从我们的免费操作系统之一以最简单的方式在线运行。
