IDE for the TLA+ tools.
Väljaandja kirjeldus (inglise)
Mis on tlaplus-toolbox?
Programm tlaplus-toolbox on avatud lähtekoodiga tarkvara Windowsile. Kategooria: teadus ja matemaatika. Lisaks Windowsile on see saadaval ka järgmistel platvormidel: Linux.
Paigaldamine ja nõuded
Väljaandja pakub paigaldusfaile vormingus Portatiivne; saadaval on Kõik protsessorid versioon. Programm töötab ilma paigaldamata (portatiivne).
Plussid / Miinused
Plussid
- Avatud lähtekood: koodi saab igaüks üle vaadata ja ise kompileerida
- Portatiivne: töötab ilma paigaldamata
- Töötab ka platvormidel Linux
Kokkuvõttes: tlaplus-toolbox on avatud lähtekoodiga Windowsi tööriist kategooriast „Teadus ja matemaatika“ (Kõik protsessorid).
Põhifunktsioonid
- 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
Kas programmi tlaplus-toolbox allalaadimine on ohutu?
- Faili jagab github.com; kontrolli, et see on väljaandja ametlik peegelsait
- Allalaadimislink kasutab HTTPS-i
- Selle faili räsi pole avaldatud
- Linki pole veel kontrollitud
- Lähtekood on avalik
- ExeAtlas ei majuta, ümbrista ega muuda paigaldusfaile
Seotud juhend: Kuidas kontrollida faili SHA256-räsi Windowsis
Viimased versioonid
Ainus versioon ›| Versioon | Kuupäev | Suurus | Failid |
|---|---|---|---|
| 1.8.0Uusim | — | Kõik protsessorid ZIP |
Paigaldamine käsurealt
Vaikne paigaldus ›scoop install extras/tlaplus-toolboxProgrammifailid (.exe): tlc.exe, toolbox.exe
Seotud juhend: Kuidas kasutada wingetit: paigaldus ja uuendamine
Saadaval ka teistele süsteemidele
flatpak install flathub org.lamport.tla.toolboxTeave
- Kategooria
- Teadus ja matemaatika
- Litsents
- MIT
- Hind
- Tasuta
- Vanusepiirang
- Kõigile vanustele
- Nõuded
- Windows 11 / 10
- Arhitektuur
- Kõik protsessorid
- Paigaldaja
- Portatiivne
- Muud platvormid
- Linux
- Versioon
- 1.8.0
- Versioone kataloogis
- 1
- Veebileht
- lamport.azurewebsites.net
- Scoopi pakett
- extras/tlaplus-toolbox
Hinnangud ja arvustused
Arvustusi veel pole. Hinda esimesena.
Programmi tlaplus-toolbox alternatiivid
Vaata kõiki ›-
Avatud lähtekood118 tuh ↓ -
Avatud lähtekood126,7 tuh ↓ -
Avatud lähtekood46 tuh ↓ -
Avatud lähtekood50,3 tuh ↓ -
Avatud lähtekood12,2 tuh ↓ -
Avatud lähtekood17,7 tuh ↓ -
Avatud lähtekood24,6 tuh ↓ - Avatud lähtekood28,6 tuh ↓
Korduma kippuvad küsimused
Kas tlaplus-toolbox on tasuta?
Jah. tlaplus-toolbox on avatud lähtekoodiga tarkvara (litsents MIT).
Kas programmi tlaplus-toolbox allalaadimine on ohutu?
Fail laaditakse alla aadressilt github.com; ExeAtlas faili ei majuta ega muuda.
Kas tlaplus-toolbox töötab ARM-protsessoriga (Windows on Arm)?
Paigaldaja on arhitektuurist sõltumatu.
Kas programmi tlaplus-toolbox saab kasutada ilma administraatori õigusteta?
Jah, see on portatiivne: paki lahti ja käivita.
Millised on programmi tlaplus-toolbox alternatiivid?
Stellarium, KiCad, Quarto, Qalculate! ja JASP. Alternatiivide leht võrdleb neid.
