IDE for the TLA+ tools.
Përshkrimi i botuesit (anglisht)
Çfarë është tlaplus-toolbox?
Është softuer me burim të hapur për Windows, në kategorinë „Shkencë dhe matematikë”. Përveç Windows, ofrohet edhe për Linux.
Instalimi dhe kërkesat
Botuesi ofron instalues Portativ për Windows Çdo procesor. Funksionon pa instalim (portativ).
Pikat e forta / Pikat e dobëta
Pikat e forta
- Burim i hapur: kodin mund ta shqyrtojë dhe ta kompilojë kushdo
- Portativ: funksionon pa instalim
- Funksionon edhe në Linux
Shkurtimisht: tlaplus-toolbox është një mjet me burim të hapur në kategorinë „Shkencë dhe matematikë”, për kompjuterë Çdo procesor.
Veçoritë kryesore
- 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
A është i sigurt shkarkimi i tlaplus-toolbox?
- Skedari shpërndahet nga github.com; kontrolloni që të jetë pasqyra zyrtare e botuesit
- Lidhja e shkarkimit përdor HTTPS
- Për këtë skedar nuk është publikuar asnjë hash
- Lidhja ende nuk është kontrolluar
- Kodi burimor është publik
- ExeAtlas nuk ruan, nuk mbështjell dhe nuk ndryshon instalues
Udhëzues i lidhur: Si të kontrolloni hash-in SHA256 të një skedari
Versionet e fundit
Të gjitha versionet (1) ›| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 1.8.0I fundit | — | Çdo procesor ZIP |
Instalimi nga rreshti i komandave
Instalim i heshtur ›scoop install extras/tlaplus-toolboxSkedarë programesh (.exe): tlc.exe, toolbox.exe
Udhëzues i lidhur: Si përdoret winget: instalimi dhe përditësimi i programeve
Edhe për sisteme të tjera
flatpak install flathub org.lamport.tla.toolboxInformacion
- Kategoria
- Shkencë dhe matematikë
- Licenca
- MIT
- Çmimi
- Falas
- Klasifikimi i përmbajtjes
- Për të gjitha moshat
- Kërkon
- Windows 11 / 10
- Arkitektura
- Çdo procesor
- Instaluesi
- Portativ
- Platforma të tjera
- Linux
- Versioni
- 1.8.0
- Versione në listë
- 1
- Faqja e internetit
- lamport.azurewebsites.net
- Paketa Scoop
- extras/tlaplus-toolbox
Vlerësime dhe komente
Ende nuk ka komente. Bëhuni i pari që e vlerësoni.
Alternativa për tlaplus-toolbox
Shiko të gjitha ›-
Me burim të hapur118 mijë ↓ -
Me burim të hapur126,7 mijë ↓ -
Me burim të hapur46 mijë ↓ -
Me burim të hapur50,3 mijë ↓ -
Me burim të hapur12,2 mijë ↓ -
Me burim të hapur17,7 mijë ↓ -
Me burim të hapur24,6 mijë ↓ - Me burim të hapur28,6 mijë ↓
Pyetjet më të shpeshta
A është tlaplus-toolbox falas?
Po. tlaplus-toolbox është softuer me burim të hapur me licencën MIT.
A është i sigurt shkarkimi i tlaplus-toolbox?
Shkarkimi vjen nga github.com; ExeAtlas nuk e ruan dhe nuk e ndryshon skedarin.
A funksionon tlaplus-toolbox në ARM (Windows on Arm)?
Instaluesi nuk varet nga arkitektura.
A mund ta përdor tlaplus-toolbox pa të drejta administratori?
Po, është portativ: e shpaketoni dhe e nisni.
Cilat janë alternativat e tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! dhe JASP. Faqja e alternativave i krahason.
