IDE for the TLA+ tools.
Descrierea dezvoltatorului (engleză)
Ce este tlaplus-toolbox?
tlaplus-toolbox este un software open source pentru Windows, încadrat în categoria Știință și matematică. Pe lângă Windows, există și pentru Linux.
Instalare și cerințe
Dezvoltatorul oferă instalatoare Portabil pentru Windows pe Orice procesor. Funcționează fără instalare (versiune portabilă).
Avantaje / Dezavantaje
Avantaje
- Open source: codul poate fi verificat și compilat de oricine
- Portabil: rulează fără instalare
- Disponibil și pentru Linux
Pe scurt: tlaplus-toolbox este un program open source din categoria Știință și matematică, disponibil pentru calculatoare cu Orice procesor.
Funcții principale
- 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
Este sigur să descărcați tlaplus-toolbox?
- Fișierul este livrat de github.com; verificați dacă este o oglindă oficială a dezvoltatorului
- Linkul de descărcare folosește HTTPS
- Pentru acest fișier nu este publicat niciun hash
- Linkul nu a fost verificat încă
- Codul sursă este public
- ExeAtlas nu găzduiește, nu împachetează și nu modifică instalatoare
Ghid asociat: Cum verificați hash-ul SHA256 al unui fișier în Windows
Versiuni recente
O singură versiune ›| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 1.8.0Cea mai nouă | — | Orice procesor ZIP |
Instalare din linia de comandă
Instalare silențioasă ›scoop install extras/tlaplus-toolboxFișiere de program (.exe): tlc.exe, toolbox.exe
Ghid asociat: Cum se folosește winget: instalare și actualizare
Și pentru alte sisteme
flatpak install flathub org.lamport.tla.toolboxInformații
- Categorie
- Știință și matematică
- Licență
- MIT
- Preț
- Gratuit
- Clasificare de vârstă
- Toate vârstele
- Cerințe
- Windows 11 / 10
- Arhitectură
- Orice procesor
- Instalator
- Portabil
- Alte platforme
- Linux
- Versiune
- 1.8.0
- Versiuni listate
- 1
- Site web
- lamport.azurewebsites.net
- Pachet Scoop
- extras/tlaplus-toolbox
Evaluări și recenzii
Nicio recenzie încă.
Alternative la tlaplus-toolbox
Vezi tot ›-
Open source118 K ↓ -
Open source126,7 K ↓ -
Open source46 K ↓ -
Open source50,3 K ↓ -
Open source12,2 K ↓ -
Open source17,7 K ↓ -
Open source24,6 K ↓ - Open source28,6 K ↓
Întrebări frecvente
Este tlaplus-toolbox gratuit?
Da. tlaplus-toolbox este un software open source cu licența MIT.
Este sigur să descărcați tlaplus-toolbox?
Fișierul se descarcă de pe github.com. ExeAtlas nu găzduiește și nu modifică fișierul.
Funcționează tlaplus-toolbox pe ARM (Windows on Arm)?
Instalatorul nu depinde de arhitectură.
Se poate folosi tlaplus-toolbox fără drepturi de administrator?
Da, este portabil: se dezarhivează și se rulează.
Ce alternative există la tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! și JASP. Pagina de alternative le compară.
