IDE for the TLA+ tools.
發行商的介紹（英文）
tlaplus-toolbox是什麼軟體？
tlaplus-toolbox是「科學與數學」分類中的一款開放原始碼Windows軟體。除了Windows之外，也有Linux版本。
安裝與系統需求
開發商為不限架構的Windows提供免安裝版格式的安裝檔。不需安裝即可執行（免安裝版）。
優點 / 缺點
優點
- 開放原始碼：任何人都能檢視和自行編譯原始碼
- 免安裝版，不需安裝即可執行
- 也支援Linux
總結: tlaplus-toolbox是一款適用於不限架構電腦的開放原始碼Windows軟體，歸在「科學與數學」類。
主要功能
- 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不存放、不綑綁、也不修改安裝檔
相關教學: Windows如何驗證檔案的SHA256雜湊值
近期版本
全部1個版本 ›用指令安裝
靜默安裝 ›PowerShell
scoop
scoop install extras/tlaplus-toolbox程式檔（.exe）: tlc.exe, toolbox.exe
相關教學: winget教學：用指令安裝與更新軟體
其他作業系統版本
Linux（Flathub）
flatpak install flathub org.lamport.tla.toolbox軟體資訊
- 分類
- 科學與數學
- 授權
- MIT
- 價格
- 免費
- 內容分級
- 普遍級
- 系統需求
- Windows 11 / 10
- 架構
- 不限架構
- 安裝檔類型
- 免安裝版
- 其他平台
- 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 on Arm）上執行嗎？
安裝檔不限處理器架構。
沒有系統管理員權限可以用tlaplus-toolbox嗎？
可以，它是免安裝版，解壓縮後直接執行。
tlaplus-toolbox有哪些替代軟體？
Stellarium、KiCad、Quarto、Qalculate!和JASP。替代軟體頁面對它們做了比較。
