IDE for the TLA+ tools.
Descrizione del produttore (inglese)
Cos’è tlaplus-toolbox?
tlaplus-toolbox è un software open source per Windows che rientra nella categoria Scienza e matematica. Oltre che per Windows, è disponibile per Linux.
Installazione e requisiti
Il produttore distribuisce pacchetti Portable per le versioni Qualsiasi CPU di Windows. Funziona senza installazione (versione portable).
Pro / Contro
Pro
- Open source: chiunque può esaminare e compilare il codice
- Portable: funziona senza installazione
- Disponibile anche per Linux
In breve: tlaplus-toolbox è un programma open source per Windows della categoria Scienza e matematica, per PC Qualsiasi CPU.
Funzionalità principali
- 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
Scaricare tlaplus-toolbox è sicuro?
- Il file è fornito da github.com; conviene verificare che sia un mirror ufficiale del produttore
- Il link di download usa HTTPS
- Per questo file non è pubblicato alcun hash
- Il link non è ancora stato controllato
- Il codice sorgente è pubblico
- ExeAtlas non ospita, non incapsula e non modifica gli installer
Guida correlata: Come verificare l’hash SHA256 di un file su Windows
Versioni recenti
Tutte le versioni (1) ›| Versione | Data | Dimensione | File |
|---|---|---|---|
| 1.8.0Ultima | — | Qualsiasi CPU ZIP |
Installazione da riga di comando
Installazione silenziosa ›scoop install extras/tlaplus-toolboxFile di programma (.exe): tlc.exe, toolbox.exe
Guida correlata: Come usare winget: installare e aggiornare app
Disponibile anche per altri sistemi
flatpak install flathub org.lamport.tla.toolboxInformazioni
- Categoria
- Scienza e matematica
- Licenza
- MIT
- Prezzo
- Gratis
- Classificazione dei contenuti
- Per tutti
- Requisiti
- Windows 11 / 10
- Architettura
- Qualsiasi CPU
- Installer
- Portable
- Altre piattaforme
- Linux
- Versione
- 1.8.0
- Versioni elencate
- 1
- Sito ufficiale
- lamport.azurewebsites.net
- Pacchetto Scoop
- extras/tlaplus-toolbox
Valutazioni e recensioni
Ancora nessuna recensione.
Alternative a tlaplus-toolbox
Vedi tutti ›-
Open source118K ↓ -
Open source126,7K ↓ -
Open source46K ↓ -
Open source50,3K ↓ -
Open source12,2K ↓ -
Open source17,7K ↓ -
Open source24,6K ↓ - Open source28,6K ↓
Domande frequenti
tlaplus-toolbox è gratis?
Sì. tlaplus-toolbox è un software open source con licenza MIT.
Scaricare tlaplus-toolbox è sicuro?
Il file viene scaricato da github.com; ExeAtlas non ospita né modifica il file.
tlaplus-toolbox funziona su ARM (Windows on Arm)?
L’installer è indipendente dall’architettura del processore.
tlaplus-toolbox si può usare senza diritti di amministratore?
Sì, è portable: basta estrarre l’archivio e avviare il programma.
Quali sono le alternative a tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! e JASP. La pagina delle alternative le mette a confronto.
