TLA+ Toolbox
TLA+ ツール向けの macOS 統合開発環境。仕様の編集、PlusCal の変換、TLC モデル検査、エラー トレースの探索、証明システムに対応します。
Cask開発ツールApple シリコン · Intel
提供元 homebrew/cask
過去 30 日間のインストール数48Appランキング 1186 位
過去1年間のインストール数680過去365日間の合計
最新バージョン1.7.42024年8月5日 · 2024年8月5日
ダウンロードサイズ179MBarm64 / x86_64 · zip
更新頻度不定期過去30日間に0回リリース
紹介
TLA+ Toolbox は、TLA+ ツールを扱うための統合開発環境です。仕様の作成と編集、ソースモジュール内での解析エラーの確認、PlusCal の変換を行えます。変換エラーはコード内に示されます。
主な機能：
- モジュールの整形表示を確認できます。
- TLC モデル検査器を実行し、エラー トレースを調べられます。トレースの各ステップで数式を評価することもできます。
- TLA+ 証明システムを実行できます。
brew install --cask tla+-toolbox でインストールします。この cask は TLA+ Toolbox.app を /Applications に配置します。提供される macOS ダウンロードは x86_64 ビルドで、cask の利用には Rosetta が必要です。使い始める際は Toolbox のウェルカム画面とヘルプページを参照してください。
整形表示したモジュールの PDF 出力コマンドを使う場合に限り、LaTeX インストールに含まれる pdflatex が必要です。Toolbox は TLA+ ツール向けの IDE であり、汎用エディターではありません。
新バージョン 1.7.4の更新内容 2024年8月5日 · OpenNavo編集部 · AI翻訳
- TLC複数ワーカーの活性チェックで性質違反を報告できない問題を修正。