tlaplus

本文档概述了 TLA⁺ 工具和工具箱，这是一个由 TLA⁺ 基金会管理的开源项目。它详细介绍了工具的使用、开发过程、许可和贡献指南。提供预发布版本，并发布 Java 依赖包以集成到其他项目中。有关 TLA⁺ 本身及其证明管理器的更多信息可以在提供的链接中找到。

概述

该存储库托管核心 TLA⁺ 命令行界面 (CLI) 工具和 Toolbox 集成开发环境 (IDE)。

其开发由 TLA⁺ 基金会管理。

有关 TLA⁺ 本身的更多信息，请参阅 http://tlapl.us。

有关 TLA⁺ 证明管理器，请参阅 http://proofs.tlapl.us。

可以在“版本”页面上找到版本控制的版本。

目前，对 master 分支的每个提交都是构建并上传到 1.8.0 Clarke 预发行版的。

如果您想要最新的修复和功能，您可以使用该预发行版。

如果您想在软件项目中使用 TLA⁺ 工具作为 Java 依赖项，Maven 包会定期发布到 oss.sonatype.org。

使用

TLA⁺ 工具需要 Java 11+ 才能运行。

tla2tools.jar 文件包含多个 TLA⁺ 工具。

它们可以按如下方式使用：

如果将 tla2tools.jar 添加到 CLASSPATH 环境变量中，则可以跳过 -cp tla2tools.jar 参数。

运行 java -jar tla2tools.jar 的别名为 java -cp tla2tools.jar tlc2.TLC。

开发和贡献

TLA⁺ Tools 和 Toolbox IDE 都是用 Java 编写的。

TLA⁺ 工具源代码位于 tlatools/org.lamport.tlatools 中。

Toolbox IDE 基于 Eclipse Platform，位于 toolbox 目录中。

有关构建和测试这些以及设置开发环境的说明，请参阅 DEVELOPING.md。

我们欢迎您对这个开源项目做出贡献！

TLA⁺ 用于安全关键系统，因此我们制定了贡献流程来确保维持质量；在开始工作之前阅读 CONTRIBUTING.md。

许可和版权

版权所有©199？惠普公司

版权所有 © 2003 微软公司

版权所有 © 2023 Linux 基金会

根据 MIT 许可证获得许可。