IDE for the TLA+ tools.
Popis od výrobce (angličtina)
Co je tlaplus-toolbox?
tlaplus-toolbox je software pro Windows s otevřeným zdrojovým kódem, kategorie „Věda a matematika“. Kromě Windows existují verze pro Linux.
Instalace a systémové požadavky
Výrobce nabízí instalátory Přenosná verze pro systémy Libovolná architektura. Program funguje bez instalace (přenosná verze).
Výhody / Nevýhody
Výhody
- Otevřený zdrojový kód: kdokoli ho může zkontrolovat a sestavit
- Přenosná verze: funguje bez instalace
- Verze i pro Linux
Ve zkratce: tlaplus-toolbox je program pro Windows s otevřeným zdrojovým kódem (kategorie „Věda a matematika“); sestavení: Libovolná architektura.
Hlavní funkce
- 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 stažení programu tlaplus-toolbox bezpečné?
- Soubor se stahuje ze serveru github.com; je dobré ověřit, že jde o oficiální zrcadlo výrobce
- Odkaz ke stažení používá HTTPS
- Hash tohoto souboru není zveřejněn
- Odkaz zatím nebyl ověřen
- Otevřený zdrojový kód
- ExeAtlas instalátory neukládá, nebalí ani nemění
Související návod: Jak ve Windows ověřit hash SHA256 souboru
Poslední verze
Všechny verze (1) ›| Verze | Datum | Velikost | Soubory |
|---|---|---|---|
| 1.8.0Nejnovější | — | Libovolná architektura ZIP |
Instalace z příkazového řádku
Tichá instalace ›scoop install extras/tlaplus-toolboxProgramové soubory (.exe): tlc.exe, toolbox.exe
Související návod: Jak používat winget: instalace a aktualizace programů
Také pro jiné systémy
flatpak install flathub org.lamport.tla.toolboxInformace
- Kategorie
- Věda a matematika
- Licence
- MIT
- Cena
- Zdarma
- Věkové hodnocení
- Pro všechny věkové kategorie
- Požadavky
- Windows 11 / 10
- Architektura
- Libovolná architektura
- Instalátor
- Přenosná verze
- Další platformy
- Linux
- Verze
- 1.8.0
- Verzí v katalogu
- 1
- Web
- lamport.azurewebsites.net
- Balíček Scoop
- extras/tlaplus-toolbox
Hodnocení a recenze
Zatím žádné recenze. Hodnocení můžete přidat jako první.
Alternativy k programu tlaplus-toolbox
Zobrazit vše ›-
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 zdarma?
Ano. tlaplus-toolbox je program s otevřeným zdrojovým kódem (licence MIT); stažení i používání je zdarma.
Je stažení programu tlaplus-toolbox bezpečné?
Soubor se stahuje z github.com; ExeAtlas soubor neukládá ani nemění.
Funguje tlaplus-toolbox na ARM (Windows on Arm)?
Instalátor nezávisí na architektuře procesoru.
Lze program tlaplus-toolbox používat bez oprávnění správce?
Ano, jde o přenosnou verzi: stačí ji rozbalit a spustit.
Jaké jsou alternativy k programu tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! a JASP. Srovnání najdete na stránce alternativ.
