IDE for the TLA+ tools.
Descripció del desenvolupador (anglès)
Què és tlaplus-toolbox?
tlaplus-toolbox és programari de codi obert per a Windows inclòs a la categoria Ciència i matemàtiques. A més de Windows, també està disponible per a Linux.
Instal·lació i requisits
El desenvolupador ofereix instal·ladors Portable per a Windows de Qualsevol processador. Funciona sense instal·lació (versió portable).
Avantatges / Inconvenients
Avantatges
- Codi obert: qualsevol persona pot revisar i compilar el codi
- Portable: funciona sense instal·lar-lo
- També per a Linux
En resum: tlaplus-toolbox és un programa de codi obert de la categoria Ciència i matemàtiques, disponible per a ordinadors de Qualsevol processador.
Funcions principals
- 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
És segur baixar tlaplus-toolbox?
- El fitxer se serveix des de github.com; convé comprovar que és una rèplica oficial del desenvolupador
- L’enllaç de baixada fa servir HTTPS
- No hi ha cap hash publicat per a aquest fitxer
- L’enllaç encara no s’ha comprovat
- El codi font és públic
- ExeAtlas no allotja, no embolcalla ni modifica instal·ladors
Guia relacionada: Com comprovar el hash SHA256 d’un fitxer a Windows
Versions recents
Una sola versió ›| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 1.8.0Darrera | — | Qualsevol processador ZIP |
Instal·lar des de la línia d’ordres
Instal·lació silenciosa ›scoop install extras/tlaplus-toolboxFitxers de programa (.exe): tlc.exe, toolbox.exe
Guia relacionada: Com utilitzar winget: instal·lar i actualitzar
També per a altres sistemes
flatpak install flathub org.lamport.tla.toolboxInformació
- Categoria
- Ciència i matemàtiques
- Llicència
- MIT
- Preu
- Gratuït
- Classificació per edats
- Totes les edats
- Requisits
- Windows 11 / 10
- Arquitectura
- Qualsevol processador
- Instal·lador
- Portable
- Altres plataformes
- Linux
- Versió
- 1.8.0
- Versions registrades
- 1
- Lloc web
- lamport.azurewebsites.net
- Paquet de Scoop
- extras/tlaplus-toolbox
Valoracions i opinions
Encara no hi ha cap opinió.
Alternatives a tlaplus-toolbox
Mostra-ho tot ›-
Codi obert118 k ↓ -
Codi obert126,7 k ↓ -
Codi obert46 k ↓ -
Codi obert50,3 k ↓ -
Codi obert12,2 k ↓ -
Codi obert17,7 k ↓ -
Codi obert24,6 k ↓ - Codi obert28,6 k ↓
Preguntes freqüents
tlaplus-toolbox és gratuït?
Sí. tlaplus-toolbox és programari de codi obert amb llicència MIT.
És segur baixar tlaplus-toolbox?
La baixada prové de github.com. ExeAtlas no allotja ni modifica el fitxer.
tlaplus-toolbox funciona en ARM (Windows on Arm)?
L’instal·lador no depèn de l’arquitectura.
Es pot fer servir tlaplus-toolbox sense permisos d’administrador?
Sí, és portable: només cal descomprimir-lo i executar-lo.
Quines alternatives hi ha a tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! i JASP. La pàgina d’alternatives els compara.
