IDE for the TLA+ tools.
提供元による説明（英語）
tlaplus-toolboxとは
tlaplus-toolboxは、「科学・数学」に分類されるオープンソースのWindowsソフトです。Windowsのほか、Linux向けにも提供されています。
インストールと動作環境
提供元はCPU共通版のポータブルインストーラーを配布しています。インストールせずにそのまま実行できます（ポータブル版）。
メリット / デメリット
メリット
- オープンソースで、誰でもコードを確認・ビルドできる
- ポータブル版でインストール不要
- Linuxでも動作する
まとめ: tlaplus-toolboxは、「科学・数学」に分類されるオープンソースのWindowsソフトです。CPU共通のPCで使えます。
主な機能
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
tlaplus-toolboxのダウンロードは安全ですか？
- ファイルはgithub.comから配信されています。提供元の公式ミラーかどうかを確認してください
- ダウンロードリンクはHTTPSを使用しています
- このファイルのハッシュは公開されていません
- リンクはまだ確認されていません
- ソースコードは公開されています
- ExeAtlasはインストーラーのホスト、ラップ、改変を行っていません
関連ガイド: SHA256ハッシュの確認方法（Windows）
最近のバージョン
全1バージョン ›コマンドラインでインストール
サイレントインストール ›PowerShell
scoop
scoop install extras/tlaplus-toolboxプログラムファイル（.exe）: tlc.exe, toolbox.exe
関連ガイド: wingetの使い方：アプリのインストールと更新
ほかのOS向け
Linux（Flathub）
flatpak install flathub org.lamport.tla.toolbox情報
- カテゴリ
- 科学・数学
- ライセンス
- MIT
- 価格
- 無料
- レーティング
- 全年齢
- 動作環境
- Windows 11 / 10
- アーキテクチャ
- CPU共通
- インストーラー
- ポータブル
- ほかのプラットフォーム
- Linux
- バージョン
- 1.8.0
- 掲載バージョン数
- 1
- 公式サイト
- lamport.azurewebsites.net
- Scoopパッケージ
- extras/tlaplus-toolbox
評価とレビュー
–
0件の評価
50
40
30
20
10
まだレビューはありません。最初の評価を投稿してください。
tlaplus-toolboxの代替ソフト
すべて表示 ›-
オープンソース11.8万 ↓ -
オープンソース12.7万 ↓ -
オープンソース4.6万 ↓ -
オープンソース5万 ↓ -
オープンソース1.2万 ↓ -
オープンソース1.8万 ↓ -
オープンソース2.5万 ↓ - オープンソース2.9万 ↓
よくある質問
tlaplus-toolboxは無料ですか？
はい。tlaplus-toolboxはオープンソースのソフトです（MITライセンス）。
tlaplus-toolboxのダウンロードは安全ですか？
ファイルはgithub.comから配信されます。ExeAtlasはファイルをホストしておらず、改変もしていません。
tlaplus-toolboxはARM版Windows（Windows on Arm）で動きますか？
インストーラーはアーキテクチャに依存しません。
tlaplus-toolboxは管理者権限なしで使えますか？
はい。ポータブル版なので、展開してそのまま実行できます。
tlaplus-toolboxの代わりになるソフトは？
Stellarium、KiCad、Quarto、Qalculate!、JASPなどがあります。代替ソフトのページで比較できます。
