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. Сравнение има на страницата с алтернативи.
