IDE for the TLA+ tools.
Opis producenta (angielski)
Czym jest tlaplus-toolbox?
tlaplus-toolbox to oprogramowanie na Windows o otwartym kodzie źródłowym, kategoria „Nauka i matematyka”. Poza Windows dostępne są wersje na: Linux.
Instalacja i wymagania
Producent udostępnia instalatory Wersja przenośna dla systemów Dowolny procesor. Program działa bez instalacji (wersja przenośna).
Zalety / Wady
Zalety
- Otwarty kod źródłowy: każdy może go przejrzeć i skompilować
- Wersja przenośna: działa bez instalacji
- Wersje także na: Linux
W skrócie: tlaplus-toolbox to program na Windows o otwartym kodzie źródłowym z kategorii „Nauka i matematyka”; wersje: Dowolny procesor.
Najważniejsze funkcje
- 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
Czy pobieranie programu tlaplus-toolbox jest bezpieczne?
- Plik jest pobierany z serwera github.com; warto sprawdzić, czy to oficjalny serwer lustrzany producenta
- Link do pobrania używa HTTPS
- Dla tego pliku nie opublikowano sumy kontrolnej
- Link nie był jeszcze sprawdzany
- Kod źródłowy jest publiczny
- ExeAtlas nie przechowuje, nie opakowuje i nie modyfikuje instalatorów
Powiązany poradnik: Jak sprawdzić sumę SHA256 pliku w Windows
Najnowsze wersje
Wszystkie wersje (1) ›| Wersja | Data | Rozmiar | Pliki |
|---|---|---|---|
| 1.8.0Najnowsza | — | Dowolny procesor ZIP |
Instalacja z wiersza poleceń
Cicha instalacja ›scoop install extras/tlaplus-toolboxPliki programów (.exe): tlc.exe, toolbox.exe
Powiązany poradnik: Winget – jak instalować i aktualizować programy
Także na inne systemy
flatpak install flathub org.lamport.tla.toolboxInformacje
- Kategoria
- Nauka i matematyka
- Licencja
- MIT
- Cena
- Za darmo
- Klasyfikacja wiekowa
- Bez ograniczeń wiekowych
- Wymagania
- Windows 11 / 10
- Architektura
- Dowolny procesor
- Instalator
- Wersja przenośna
- Inne platformy
- Linux
- Wersja
- 1.8.0
- Wersje w katalogu
- 1
- Strona WWW
- lamport.azurewebsites.net
- Pakiet Scoop
- extras/tlaplus-toolbox
Oceny i opinie
Brak opinii. Można dodać pierwszą ocenę.
Alternatywy dla programu tlaplus-toolbox
Zobacz wszystkie ›-
Open source118 tys. ↓ -
Open source126,7 tys. ↓ -
Open source46 tys. ↓ -
Open source50,3 tys. ↓ -
Open source12,2 tys. ↓ -
Open source17,7 tys. ↓ -
Open source24,6 tys. ↓ - Open source28,6 tys. ↓
Najczęstsze pytania
Czy program tlaplus-toolbox jest darmowy?
Tak. tlaplus-toolbox to oprogramowanie open source na licencji MIT; można je pobrać i używać za darmo.
Czy pobieranie programu tlaplus-toolbox jest bezpieczne?
Plik jest pobierany z serwera github.com; ExeAtlas nie przechowuje ani nie modyfikuje pliku.
Czy tlaplus-toolbox działa na procesorach ARM (Windows on Arm)?
Instalator nie zależy od architektury procesora.
Czy z programu tlaplus-toolbox można korzystać bez uprawnień administratora?
Tak, to wersja przenośna: wystarczy rozpakować archiwum i uruchomić program.
Jakie są alternatywy dla programu tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! i JASP. Strona alternatyw zawiera ich porównanie.
