IDE for the TLA+ tools.
Opis izdavača (engleski)
Što je tlaplus-toolbox?
Program tlaplus-toolbox je softver otvorenog koda za Windows u kategoriji „Znanost i matematika”. Osim za Windows dostupan je i za Linux.
Instalacija i zahtjevi sustava
Izdavač nudi instalacijske datoteke vrste Prijenosna verzija za sustave Bilo koji procesor. Program radi bez instalacije (prijenosna verzija).
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svatko ga može pregledati i sam prevesti
- Prijenosna verzija: radi bez instalacije
- Radi i na sustavima Linux
Ukratko: tlaplus-toolbox je program otvorenog koda za Windows (kategorija „Znanost i matematika”), dostupan za Bilo koji procesor.
Glavne značajke
- 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 li preuzimanje programa tlaplus-toolbox sigurno?
- Datoteka se preuzima s poslužitelja github.com; provjerite je li to službeni zrcalni poslužitelj izdavača
- Poveznica za preuzimanje koristi HTTPS
- Za ovu datoteku nije objavljen hash
- Poveznica još nije provjerena
- Izvorni kod je javan
- ExeAtlas ne pohranjuje, ne omata i ne mijenja instalacijske datoteke
Povezani vodič: Kako provjeriti SHA256 hash datoteke u Windowsu
Najnovije verzije
Sve verzije (1) ›| Verzija | Datum | Veličina | Datoteke |
|---|---|---|---|
| 1.8.0Najnovija | — | Bilo koji procesor ZIP |
Instalacija iz naredbenog retka
Tiha instalacija ›scoop install extras/tlaplus-toolboxProgramske datoteke (.exe): tlc.exe, toolbox.exe
Povezani vodič: Kako koristiti winget: instalacija i ažuriranje
I za druge sustave
flatpak install flathub org.lamport.tla.toolboxInformacije
- Kategorija
- Znanost i matematika
- Licenca
- MIT
- Cijena
- Besplatno
- Dobna oznaka
- Za sve uzraste
- Zahtjevi
- Windows 11 / 10
- Arhitektura
- Bilo koji procesor
- Instalacijska datoteka
- Prijenosna verzija
- Druge platforme
- Linux
- Verzija
- 1.8.0
- Broj verzija
- 1
- Web-stranica
- lamport.azurewebsites.net
- Paket Scoop
- extras/tlaplus-toolbox
Ocjene i recenzije
Još nema recenzija. Program možete ocijeniti prvi.
Alternative za program tlaplus-toolbox
Prikaži sve ›-
Otvoreni kod118 tis. ↓ -
Otvoreni kod126,7 tis. ↓ -
Otvoreni kod46 tis. ↓ -
Otvoreni kod50,3 tis. ↓ -
Otvoreni kod12,2 tis. ↓ -
Otvoreni kod17,7 tis. ↓ -
Otvoreni kod24,6 tis. ↓ - Otvoreni kod28,6 tis. ↓
Česta pitanja
Je li program tlaplus-toolbox besplatan?
Da. tlaplus-toolbox je program otvorenog koda (licenca MIT) koji se može besplatno preuzeti i koristiti.
Je li preuzimanje programa tlaplus-toolbox sigurno?
Datoteka se preuzima s domene github.com; ExeAtlas datoteku ne pohranjuje i ne mijenja.
Radi li tlaplus-toolbox na procesorima ARM (Windows on Arm)?
Instalacijska datoteka ne ovisi o arhitekturi procesora.
Može li se program tlaplus-toolbox koristiti bez administratorskih prava?
Da, riječ je o prijenosnoj verziji: dovoljno je raspakirati arhivu i pokrenuti program.
Koje su alternative za program tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! i JASP. Usporedba je na stranici s alternativama.
