IDE for the TLA+ tools.
Апісанне ад распрацоўшчыка (англійская)
Што такое tlaplus-toolbox?
tlaplus-toolbox — ПЗ для Windows з адкрытым зыходным кодам, катэгорыя «Навука і матэматыка». Акрамя Windows, ёсць версіі для Linux.
Устаноўка і сістэмныя патрабаванні
Распрацоўшчык прапануе ўсталёўшчыкі Партатыўная для сістэм Любая архітэктура. Праграма працуе без устаноўкі (партатыўная версія).
Перавагі / Недахопы
Перавагі
- Адкрыты зыходны код: яго можна праверыць і сабраць самастойна
- Партатыўная версія: працуе без устаноўкі
- Ёсць версіі для 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 не захоўвае, не абгортвае і не змяняе ўсталёўшчыкі
Інструкцыя па тэме: Як праверыць хэш SHA256 файла ў Windows
Апошнія версіі
Усе версіі (1) ›| Версія | Дата | Памер | Файлы |
|---|---|---|---|
| 1.8.0Апошняя | — | Любая архітэктура ZIP |
Устаноўка з каманднага радка
Ціхая ўстаноўка ›scoop install extras/tlaplus-toolboxФайлы праграм (.exe): tlc.exe, toolbox.exe
Інструкцыя па тэме: Як карыстацца winget: устаноўка і абнаўленне
Ёсць і для іншых сістэм
flatpak install flathub org.lamport.tla.toolboxІнфармацыя
- Катэгорыя
- Навука і матэматыка
- Ліцэнзія
- MIT
- Кошт
- Бясплатна
- Узроставы рэйтынг
- Для любога ўзросту
- Патрабаванні
- Windows 11 / 10
- Архітэктура
- Любая архітэктура
- Усталёўшчык
- Партатыўная
- Іншыя платформы
- Linux
- Версія
- 1.8.0
- Версій у каталогу
- 1
- Сайт
- lamport.azurewebsites.net
- Пакет Scoop
- extras/tlaplus-toolbox
Ацэнкі і водгукі
Водгукаў пакуль няма. Можна ацаніць першым.
Аналагі праграмы tlaplus-toolbox
Паказаць усе ›-
Адкрыты код118 тыс. ↓ -
Адкрыты код126,7 тыс. ↓ -
Адкрыты код46 тыс. ↓ -
Адкрыты код50,3 тыс. ↓ -
Адкрыты код12,2 тыс. ↓ -
Адкрыты код17,7 тыс. ↓ -
Адкрыты код24,6 тыс. ↓ - Адкрыты код28,6 тыс. ↓
Частыя пытанні
Праграма 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. Іх параўнанне — на старонцы аналагаў.
