IDE for the TLA+ tools.
Utgivarens beskrivning (engelska)
Vad är tlaplus-toolbox?
tlaplus-toolbox är programvara med öppen källkod för Windows (kategori: Vetenskap och matematik). Förutom Windows finns det versioner för Linux.
Installation och systemkrav
Utgivaren erbjuder installationsfiler för Alla processorer (Portabel). Programmet körs utan installation (portabelt).
Fördelar / Nackdelar
Fördelar
- Öppen källkod: vem som helst kan granska och kompilera koden
- Portabelt: körs utan installation
- Körs även på Linux
Kort sagt: tlaplus-toolbox är ett verktyg med öppen källkod i kategorin Vetenskap och matematik för datorer med Alla processorer.
Viktiga 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
Är det säkert att ladda ner tlaplus-toolbox?
- Filen levereras av github.com; kontrollera att det är utgivarens officiella spegel
- Nedladdningslänken använder HTTPS
- Ingen hash är publicerad för den här filen
- Länken har inte kontrollerats än
- Källkoden är offentlig
- ExeAtlas varken lagrar, kapslar in eller ändrar installationsfiler
Relaterad guide: Kontrollera en fils SHA256-hash i Windows
Senaste versionerna
Alla 1 versioner ›| Version | Datum | Storlek | Filer |
|---|---|---|---|
| 1.8.0Senaste | — | Alla processorer ZIP |
Installera från kommandoraden
Tyst installation ›scoop install extras/tlaplus-toolboxProgramfiler (.exe): tlc.exe, toolbox.exe
Relaterad guide: Så använder du winget: installera och uppdatera
Även för andra system
flatpak install flathub org.lamport.tla.toolboxInformation
- Kategori
- Vetenskap och matematik
- Licens
- MIT
- Pris
- Gratis
- Åldersgräns
- Alla åldrar
- Kräver
- Windows 11 / 10
- Arkitektur
- Alla processorer
- Installationsfil
- Portabel
- Andra plattformar
- Linux
- Version
- 1.8.0
- Listade versioner
- 1
- Webbplats
- lamport.azurewebsites.net
- Scoop-paket
- extras/tlaplus-toolbox
Betyg och recensioner
Inga recensioner än. Bli först med att betygsätta programmet.
Alternativ till tlaplus-toolbox
Visa alla ›-
Öppen källkod118 tn ↓ -
Öppen källkod126,7 tn ↓ -
Öppen källkod46 tn ↓ -
Öppen källkod50,3 tn ↓ -
Öppen källkod12,2 tn ↓ -
Öppen källkod17,7 tn ↓ -
Öppen källkod24,6 tn ↓ - Öppen källkod28,6 tn ↓
Vanliga frågor
Är tlaplus-toolbox gratis?
Ja. tlaplus-toolbox är programvara med öppen källkod under licensen MIT.
Är det säkert att ladda ner tlaplus-toolbox?
Filen kommer från github.com; ExeAtlas varken lagrar eller ändrar den.
Fungerar tlaplus-toolbox på ARM (Windows on Arm)?
Installationsfilen är arkitekturoberoende.
Kan jag använda tlaplus-toolbox utan administratörsbehörighet?
Ja, programmet är portabelt: packa upp och starta.
Vilka alternativ finns till tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! och JASP. Sidan med alternativ jämför dem.
