IDE for the TLA+ tools.
Utgiverens beskrivelse (engelsk)
Hva er tlaplus-toolbox?
tlaplus-toolbox er programvare med åpen kildekode for Windows (kategori: Vitenskap og matematikk). I tillegg til Windows finnes det versjoner for Linux.
Installasjon og systemkrav
Utgiveren tilbyr installasjonsfiler for Alle prosessorer; filformater: Portabel. Programmet kjører uten installasjon (portabelt).
Fordeler / Ulemper
Fordeler
- Åpen kildekode: hvem som helst kan se gjennom og bygge koden
- Portabelt: kjører uten installasjon
- Kjører også på Linux
Kort sagt: tlaplus-toolbox er et verktøy med åpen kildekode i kategorien Vitenskap og matematikk for PC-er med Alle prosessorer.
Viktigste funksjoner
- 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 trygt å laste ned tlaplus-toolbox?
- Filen leveres av github.com; sjekk at dette er utgiverens offisielle speil
- Nedlastingslenken bruker HTTPS
- Ingen sjekksum er publisert for denne filen
- Lenken er ikke sjekket ennå
- Kildekoden er offentlig
- ExeAtlas lagrer, pakker inn eller endrer aldri installasjonsfiler
Relatert veiledning: Slik sjekker du SHA256-summen til en fil i Windows
Nyeste versjoner
Alle 1 versjon ›| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 1.8.0Nyeste | — | Alle prosessorer ZIP |
Installer fra kommandolinjen
Stille installasjon ›scoop install extras/tlaplus-toolboxProgramfiler (.exe): tlc.exe, toolbox.exe
Relatert veiledning: winget: installer og oppdater programmer i Windows
Finnes også for andre systemer
flatpak install flathub org.lamport.tla.toolboxInformasjon
- Kategori
- Vitenskap og matematikk
- Lisens
- MIT
- Pris
- Gratis
- Aldersgrense
- For alle aldre
- Krav
- Windows 11 / 10
- Arkitektur
- Alle prosessorer
- Installasjonsfil
- Portabel
- Andre plattformer
- Linux
- Versjon
- 1.8.0
- Registrerte versjoner
- 1
- Nettsted
- lamport.azurewebsites.net
- Scoop-pakke
- extras/tlaplus-toolbox
Vurderinger og anmeldelser
Ingen anmeldelser ennå. Bli den første til å gi en vurdering.
Alternativer til tlaplus-toolbox
Se alle ›-
Åpen kildekode118k ↓ -
Åpen kildekode126,7k ↓ -
Åpen kildekode46k ↓ -
Åpen kildekode50,3k ↓ -
Åpen kildekode12,2k ↓ -
Åpen kildekode17,7k ↓ -
Åpen kildekode24,6k ↓ - Åpen kildekode28,6k ↓
Ofte stilte spørsmål
Er tlaplus-toolbox gratis?
Ja. tlaplus-toolbox er programvare med åpen kildekode under lisensen MIT.
Er det trygt å laste ned tlaplus-toolbox?
Filen lastes ned fra github.com; ExeAtlas verken lagrer eller endrer den.
Kjører tlaplus-toolbox på ARM (Windows on Arm)?
Installasjonsfilen er uavhengig av arkitektur.
Kan jeg bruke tlaplus-toolbox uten administratorrettigheter?
Ja, programmet er portabelt: pakk ut og kjør.
Hvilke alternativer finnes til tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! og JASP. Siden med alternativer sammenligner dem.
