IDE for the TLA+ tools.
Popis od výrobcu (angličtina)
Čo je tlaplus-toolbox?
tlaplus-toolbox je softvér pre Windows s otvoreným zdrojovým kódom, kategória „Veda a matematika“. Okrem Windows existujú verzie pre Linux.
Inštalácia a systémové požiadavky
Výrobca ponúka inštalátory Prenosná verzia pre systémy Ľubovoľná architektúra. Program funguje bez inštalácie (prenosná verzia).
Výhody / Nevýhody
Výhody
- Otvorený zdrojový kód: ktokoľvek ho môže skontrolovať a zostaviť
- Prenosná verzia: funguje bez inštalácie
- Verzie aj pre Linux
V skratke: tlaplus-toolbox je program pre Windows s otvoreným zdrojovým kódom (kategória „Veda a matematika“); zostavenia: Ľubovoľná architektúra.
Hlavné funkcie
- 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
Je stiahnutie programu tlaplus-toolbox bezpečné?
- Súbor sa sťahuje zo servera github.com; odporúča sa overiť, či ide o oficiálne zrkadlo výrobcu
- Odkaz na stiahnutie používa HTTPS
- Hash tohto súboru nie je zverejnený
- Odkaz zatiaľ nebol overený
- Otvorený zdrojový kód
- ExeAtlas inštalátory neukladá, nebalí ani nemení
Súvisiaci návod: Ako vo Windows overiť hash SHA256 súboru
Posledné verzie
Všetky verzie (1) ›| Verzia | Dátum | Veľkosť | Súbory |
|---|---|---|---|
| 1.8.0Najnovšia | — | Ľubovoľná architektúra ZIP |
Inštalácia z príkazového riadka
Tichá inštalácia ›scoop install extras/tlaplus-toolboxProgramové súbory (.exe): tlc.exe, toolbox.exe
Súvisiaci návod: Ako používať winget: inštalácia a aktualizácia programov
Aj pre iné systémy
flatpak install flathub org.lamport.tla.toolboxInformácie
- Kategória
- Veda a matematika
- Licencia
- MIT
- Cena
- Zadarmo
- Vekové hodnotenie
- Pre všetky vekové kategórie
- Požiadavky
- Windows 11 / 10
- Architektúra
- Ľubovoľná architektúra
- Inštalátor
- Prenosná verzia
- Ďalšie platformy
- Linux
- Verzia
- 1.8.0
- Verzií v katalógu
- 1
- Web
- lamport.azurewebsites.net
- Balík Scoop
- extras/tlaplus-toolbox
Hodnotenia a recenzie
Zatiaľ žiadne recenzie. Hodnotenie môžete pridať ako prví.
Alternatívy k programu tlaplus-toolbox
Zobraziť všetko ›-
Open source118 tis. ↓ -
Open source126,7 tis. ↓ -
Open source46 tis. ↓ -
Open source50,3 tis. ↓ -
Open source12,2 tis. ↓ -
Open source17,7 tis. ↓ -
Open source24,6 tis. ↓ - Open source28,6 tis. ↓
Časté otázky
Je program tlaplus-toolbox zadarmo?
Áno. tlaplus-toolbox je program s otvoreným zdrojovým kódom (licencia MIT); stiahnutie aj používanie je zadarmo.
Je stiahnutie programu tlaplus-toolbox bezpečné?
Súbor sa sťahuje z github.com; ExeAtlas súbor neukladá ani nemení.
Funguje tlaplus-toolbox na ARM (Windows on Arm)?
Inštalátor nezávisí od architektúry procesora.
Dá sa program tlaplus-toolbox používať bez oprávnení správcu?
Áno, ide o prenosnú verziu: stačí ju rozbaliť a spustiť.
Aké sú alternatívy k programu tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! a JASP. Porovnanie nájdete na stránke alternatív.
