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. Их сравнение — на странице аналогов.
