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 許可證獲得許可。