IDE for the TLA+ tools.
A kiadó leírása (angol)
Mi a tlaplus-toolbox?
Nyílt forráskódú szoftver Windowsra, a „Tudomány és matematika” kategóriában. Windowson kívül ezekre a rendszerekre is elérhető: Linux.
Telepítés és rendszerigény
A kiadó Hordozható telepítőt kínál Bármely processzor Windowsra. Telepítés nélkül is futtatható (hordozható változat).
Előnyök / Hátrányok
Előnyök
- Nyílt forráskód: bárki átnézheti és lefordíthatja
- Hordozható: telepítés nélkül fut
- Más rendszereken is fut: Linux
Összegzés: tlaplus-toolbox: nyílt forráskódú program a „Tudomány és matematika” kategóriából, Bármely processzor gépekre.
Fő funkciók
- 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
Biztonságos a tlaplus-toolbox letöltése?
- A fájlt a github.com szolgálja ki; érdemes ellenőrizni, hogy ez a kiadó hivatalos tükre-e
- A letöltési hivatkozás HTTPS-t használ
- Ehhez a fájlhoz nincs közzétett ellenőrzőösszeg
- A hivatkozást még nem ellenőriztük
- A forráskód nyilvános
- Az ExeAtlas nem tárol, nem csomagol be és nem módosít telepítőket
Kapcsolódó útmutató: Fájl SHA256 kivonatának ellenőrzése Windowson
Legutóbbi verziók
Mind az 1 verzió ›| Verzió | Dátum | Méret | Fájlok |
|---|---|---|---|
| 1.8.0Legújabb | — | Bármely processzor ZIP |
Telepítés parancssorból
Csendes telepítés ›scoop install extras/tlaplus-toolboxProgramfájlok (.exe): tlc.exe, toolbox.exe
Kapcsolódó útmutató: A winget használata: programok telepítése, frissítése
Más rendszerekre is
flatpak install flathub org.lamport.tla.toolboxInformációk
- Kategória
- Tudomány és matematika
- Licenc
- MIT
- Ár
- Ingyenes
- Korhatár-besorolás
- Korhatár nélkül
- Rendszerigény
- Windows 11 / 10
- Architektúra
- Bármely processzor
- Telepítő
- Hordozható
- Más platformok
- Linux
- Verzió
- 1.8.0
- Listázott verziók
- 1
- Weboldal
- lamport.azurewebsites.net
- Scoop-csomag
- extras/tlaplus-toolbox
Értékelések és vélemények
Még nincs vélemény. Az első értékelés lehet az Öné.
tlaplus-toolbox – alternatívák
Összes ›-
Nyílt forráskódú118 E ↓ -
Nyílt forráskódú126,7 E ↓ -
Nyílt forráskódú46 E ↓ -
Nyílt forráskódú50,3 E ↓ -
Nyílt forráskódú12,2 E ↓ -
Nyílt forráskódú17,7 E ↓ -
Nyílt forráskódú24,6 E ↓ - Nyílt forráskódú28,6 E ↓
Gyakori kérdések
Ingyenes a tlaplus-toolbox program?
Igen. A tlaplus-toolbox program nyílt forráskódú szoftver (licenc: MIT), ingyenesen letölthető és használható.
Biztonságos a tlaplus-toolbox letöltése?
A fájl a github.com szerveréről érkezik; az ExeAtlas nem tárolja és nem módosítja.
Fut a tlaplus-toolbox program ARM processzoron (Windows on Arm)?
A telepítő architektúrafüggetlen.
Használható a tlaplus-toolbox program rendszergazdai jog nélkül?
Igen, hordozható: elég kicsomagolni és elindítani.
Milyen alternatívák vannak a tlaplus-toolbox helyett?
Stellarium, KiCad, Quarto, Qalculate! és JASP. Az alternatívák oldala össze is hasonlítja őket.
