IDE for the TLA+ tools.
Beschrijving van de uitgever (Engels)
Wat is tlaplus-toolbox?
tlaplus-toolbox is opensource software voor Windows (categorie: Wetenschap & wiskunde). Naast Windows bestaan er versies voor Linux.
Installatie en systeemeisen
De uitgever levert installers voor Elke processor (Portable). Het programma werkt zonder installatie (portable).
Voordelen / Nadelen
Voordelen
- Open source: iedereen kan de code inzien en zelf compileren
- Portable: werkt zonder installatie
- Werkt ook op Linux
Kort gezegd: tlaplus-toolbox is een opensource tool uit de categorie Wetenschap & wiskunde voor pc’s met Elke processor.
Belangrijkste functies
- 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
Is tlaplus-toolbox veilig om te downloaden?
- Het bestand komt van github.com; controleer of dit een officiële mirror van de uitgever is
- De downloadlink gebruikt HTTPS
- Voor dit bestand is geen hash gepubliceerd
- De link is nog niet gecontroleerd
- De broncode is openbaar
- ExeAtlas host, verpakt of wijzigt geen installers
Gerelateerde handleiding: SHA256-hash van een bestand controleren in Windows
Recente versies
Alle 1 versies ›| Versie | Datum | Grootte | Bestanden |
|---|---|---|---|
| 1.8.0Nieuwste | — | Elke processor ZIP |
Installeren via de opdrachtregel
Stille installatie ›scoop install extras/tlaplus-toolboxProgrammabestanden (.exe): tlc.exe, toolbox.exe
Gerelateerde handleiding: winget gebruiken: programma’s installeren en updaten
Ook voor andere systemen
flatpak install flathub org.lamport.tla.toolboxInformatie
- Categorie
- Wetenschap & wiskunde
- Licentie
- MIT
- Prijs
- Gratis
- Leeftijdsclassificatie
- Alle leeftijden
- Vereist
- Windows 11 / 10
- Architectuur
- Elke processor
- Installer
- Portable
- Andere platforms
- Linux
- Versie
- 1.8.0
- Versies in de lijst
- 1
- Website
- lamport.azurewebsites.net
- Scoop-pakket
- extras/tlaplus-toolbox
Beoordelingen en reviews
Nog geen reviews. Geef als eerste een beoordeling.
Alternatieven voor tlaplus-toolbox
Alles bekijken ›-
Open source118K ↓ -
Open source126,7K ↓ -
Open source46K ↓ -
Open source50,3K ↓ -
Open source12,2K ↓ -
Open source17,7K ↓ -
Open source24,6K ↓ - Open source28,6K ↓
Veelgestelde vragen
Is tlaplus-toolbox gratis?
Ja. tlaplus-toolbox is opensourcesoftware onder de licentie MIT.
Is tlaplus-toolbox veilig om te downloaden?
Het bestand komt van github.com; ExeAtlas host of wijzigt het niet.
Werkt tlaplus-toolbox op ARM (Windows on Arm)?
De installer is architectuuronafhankelijk.
Werkt tlaplus-toolbox zonder beheerdersrechten?
Ja, het programma is portable: uitpakken en starten.
Wat zijn alternatieven voor tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! en JASP. De pagina met alternatieven vergelijkt ze.
