IDE for the TLA+ tools.
Opis izdajatelja (angleščina)
Kaj je tlaplus-toolbox?
Program tlaplus-toolbox je odprtokodna programska oprema za Windows v kategoriji „Znanost in matematika“. Poleg sistema Windows je na voljo tudi za Linux.
Namestitev in sistemske zahteve
Izdajatelj ponuja namestitvene datoteke vrste Prenosna različica za sisteme Kateri koli procesor. Program deluje brez namestitve (prenosna različica).
Prednosti / Slabosti
Prednosti
- Odprta koda: vsakdo jo lahko pregleda in sam prevede
- Prenosna različica: deluje brez namestitve
- Deluje tudi v sistemih Linux
Na kratko: tlaplus-toolbox je odprtokoden program za Windows (kategorija „Znanost in matematika“), na voljo za Kateri koli procesor.
Glavne funkcije
- 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 prenos programa tlaplus-toolbox varen?
- Datoteka se prenese s strežnika github.com; preverite, ali je to uradno zrcalo izdajatelja
- Povezava za prenos uporablja HTTPS
- Za to datoteko ni objavljene zgoščene vrednosti
- Povezava še ni bila preverjena
- Izvorna koda je javna
- ExeAtlas namestitvenih datotek ne gosti, ne ovija in ne spreminja
Povezan vodnik: Kako v sistemu Windows preveriti SHA256 datoteke
Najnovejše različice
Vse različice (1) ›| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 1.8.0Najnovejša | — | Kateri koli procesor ZIP |
Namestitev iz ukazne vrstice
Tiha namestitev ›scoop install extras/tlaplus-toolboxProgramske datoteke (.exe): tlc.exe, toolbox.exe
Povezan vodnik: Kako uporabljati winget: namestitev in posodobitve
Tudi za druge sisteme
flatpak install flathub org.lamport.tla.toolboxInformacije
- Kategorija
- Znanost in matematika
- Licenca
- MIT
- Cena
- Brezplačno
- Starostna oznaka
- Za vse starosti
- Zahteve
- Windows 11 / 10
- Arhitektura
- Kateri koli procesor
- Namestitvena datoteka
- Prenosna različica
- Druge platforme
- Linux
- Različica
- 1.8.0
- Število različic
- 1
- Spletna stran
- lamport.azurewebsites.net
- Paket Scoop
- extras/tlaplus-toolbox
Ocene in mnenja
Mnenj še ni. Lahko ste prvi, ki oceni program.
Alternative za program tlaplus-toolbox
Prikaži vse ›-
Odprta koda118 tis. ↓ -
Odprta koda126,7 tis. ↓ -
Odprta koda46 tis. ↓ -
Odprta koda50,3 tis. ↓ -
Odprta koda12,2 tis. ↓ -
Odprta koda17,7 tis. ↓ -
Odprta koda24,6 tis. ↓ - Odprta koda28,6 tis. ↓
Pogosta vprašanja
Je program tlaplus-toolbox brezplačen?
Da. tlaplus-toolbox je odprtokoden program (licenca MIT), ki ga je mogoče brezplačno prenesti in uporabljati.
Je prenos programa tlaplus-toolbox varen?
Datoteka se prenese z domene github.com; ExeAtlas datoteke ne gosti in je ne spreminja.
Ali tlaplus-toolbox deluje na procesorjih ARM (Windows on Arm)?
Namestitvena datoteka ni odvisna od arhitekture procesorja.
Ali je program tlaplus-toolbox mogoče uporabljati brez skrbniških pravic?
Da, gre za prenosno različico: arhiv je dovolj razpakirati in program zagnati.
Katere so alternative za program tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! in JASP. Primerjava je na strani z alternativami.
