IDE for the TLA+ tools.
Udgiverens beskrivelse (engelsk)
Hvad er tlaplus-toolbox?
tlaplus-toolbox er open source-software til Windows (kategori: Videnskab og matematik). Ud over Windows findes der versioner til Linux.
Installation og systemkrav
Udgiveren tilbyder installationsfiler til Alle processorer (Portabel). Programmet kører uden installation (portabelt).
Fordele / Ulemper
Fordele
- Open source: alle kan gennemse og kompilere koden
- Portabelt: kører uden installation
- Kører også på Linux
Kort sagt: tlaplus-toolbox er et værktøj med åben kildekode i kategorien Videnskab og matematik til pc’er med Alle processorer.
Vigtigste funktioner
- 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
Er det sikkert at downloade tlaplus-toolbox?
- Filen leveres af github.com; kontrollér, at det er udgiverens officielle spejl
- Downloadlinket bruger HTTPS
- Der er ikke offentliggjort en hash for denne fil
- Linket er ikke kontrolleret endnu
- Kildekoden er offentlig
- ExeAtlas hoster, indpakker eller ændrer ikke installationsfiler
Relateret vejledning: Sådan tjekker du en fils SHA256-hash i Windows
Nyeste versioner
Alle 1 versioner ›| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 1.8.0Nyeste | — | Alle processorer ZIP |
Installér fra kommandolinjen
Lydløs installation ›scoop install extras/tlaplus-toolboxProgramfiler (.exe): tlc.exe, toolbox.exe
Relateret vejledning: winget: installer og opdater programmer i Windows
Findes også til andre systemer
flatpak install flathub org.lamport.tla.toolboxInformation
- Kategori
- Videnskab og matematik
- Licens
- MIT
- Pris
- Gratis
- Aldersgrænse
- Alle aldre
- Kræver
- Windows 11 / 10
- Arkitektur
- Alle processorer
- Installationsfil
- Portabel
- Andre platforme
- Linux
- Version
- 1.8.0
- Registrerede versioner
- 1
- Websted
- lamport.azurewebsites.net
- Scoop-pakke
- extras/tlaplus-toolbox
Bedømmelser og anmeldelser
Ingen anmeldelser endnu. Vær den første til at bedømme programmet.
Alternativer til tlaplus-toolbox
Se alle ›-
Open source118 t ↓ -
Open source126,7 t ↓ -
Open source46 t ↓ -
Open source50,3 t ↓ -
Open source12,2 t ↓ -
Open source17,7 t ↓ -
Open source24,6 t ↓ - Open source28,6 t ↓
Ofte stillede spørgsmål
Er tlaplus-toolbox gratis?
Ja. tlaplus-toolbox er open source-software under licensen MIT.
Er det sikkert at downloade tlaplus-toolbox?
Filen kommer fra github.com; ExeAtlas hoster eller ændrer den ikke.
Kører tlaplus-toolbox på ARM (Windows on Arm)?
Installationsfilen er uafhængig af arkitekturen.
Kan jeg bruge tlaplus-toolbox uden administratorrettigheder?
Ja, programmet er portabelt: pak det ud, og start det.
Hvilke alternativer findes der til tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! og JASP. Siden med alternativer sammenligner dem.
