IDE for the TLA+ tools.
Opis izdavača (engleski)
Šta je tlaplus-toolbox?
Program tlaplus-toolbox je softver za Windows otvorenog koda u kategoriji „Nauka i matematika“. Osim za Windows, dostupan je i za Linux.
Instalacija i sistemski zahtevi
Izdavač nudi instalacione fajlove tipa Portabl verzija za sisteme Bilo koji procesor. Program radi bez instalacije (portabl verzija).
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svako ga može pregledati i sam kompajlirati
- Portabl verzija: radi bez instalacije
- Radi i na sistemima Linux
Ukratko: tlaplus-toolbox je program za Windows otvorenog koda (kategorija „Nauka i matematika“), dostupan za Bilo koji procesor.
Glavne mogućnosti
- 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
Da li je preuzimanje programa tlaplus-toolbox bezbedno?
- Fajl se preuzima sa servera github.com; proverite da li je to zvanični mirror izdavača
- Link za preuzimanje koristi HTTPS
- Za ovaj fajl nije objavljen heš
- Link još nije proveren
- Izvorni kod je javan
- ExeAtlas ne čuva, ne pakuje u omotače i ne menja instalacione fajlove
Povezano uputstvo: Kako proveriti SHA256 heš fajla na Windowsu
Najnovije verzije
Sve verzije (1) ›| Verzija | Datum | Veličina | Fajlovi |
|---|---|---|---|
| 1.8.0Najnovija | — | Bilo koji procesor ZIP |
Instalacija iz komandne linije
Tiha instalacija ›scoop install extras/tlaplus-toolboxProgramski fajlovi (.exe): tlc.exe, toolbox.exe
Povezano uputstvo: Kako koristiti winget: instalacija i ažuriranje
Dostupno i za druge sisteme
flatpak install flathub org.lamport.tla.toolboxInformacije
- Kategorija
- Nauka i matematika
- Licenca
- MIT
- Cena
- Besplatno
- Uzrasna oznaka
- Za sve uzraste
- Zahtevi
- Windows 11 / 10
- Arhitektura
- Bilo koji procesor
- Instalacioni fajl
- Portabl verzija
- Druge platforme
- Linux
- Verzija
- 1.8.0
- Broj verzija
- 1
- Veb-sajt
- lamport.azurewebsites.net
- Scoop paket
- extras/tlaplus-toolbox
Ocene i recenzije
Još nema recenzija. Ocenu možete ostaviti prvi.
Alternative za program tlaplus-toolbox
Prikaži sve ›-
Otvoreni kod118 hilj. ↓ -
Otvoreni kod126,7 hilj. ↓ -
Otvoreni kod46 hilj. ↓ -
Otvoreni kod50,3 hilj. ↓ -
Otvoreni kod12,2 hilj. ↓ -
Otvoreni kod17,7 hilj. ↓ -
Otvoreni kod24,6 hilj. ↓ - Otvoreni kod28,6 hilj. ↓
Česta pitanja
Da li je program tlaplus-toolbox besplatan?
Da. tlaplus-toolbox je program otvorenog koda (licenca MIT) i može se besplatno preuzeti i koristiti.
Da li je preuzimanje programa tlaplus-toolbox bezbedno?
Fajl se preuzima sa domena github.com; ExeAtlas fajl ne čuva i ne menja.
Da li tlaplus-toolbox radi na ARM procesorima (Windows on Arm)?
Instalacioni fajl ne zavisi od arhitekture procesora.
Može li se program tlaplus-toolbox koristiti bez administratorskih prava?
Da, to je portabl verzija: dovoljno je raspakovati arhivu i pokrenuti program.
Koje su alternative za program tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! i JASP. Poređenje se nalazi na stranici sa alternativama.
