IDE for the TLA+ tools.
Beschreibung des Herstellers (Englisch)
Was ist tlaplus-toolbox?
tlaplus-toolbox ist quelloffene Software für Windows (Kategorie: Wissenschaft & Mathematik). Neben Windows gibt es Versionen für Linux.
Installation und Systemvoraussetzungen
Der Hersteller bietet Setups für Alle Prozessoren an (Portabel). Das Programm läuft ohne Installation (portabel).
Vorteile / Nachteile
Vorteile
- Open Source: Der Quellcode ist einsehbar und lässt sich selbst kompilieren
- Portabel: läuft ohne Installation
- Läuft auch unter Linux
Kurz gesagt: tlaplus-toolbox ist ein quelloffenes Tool aus der Kategorie „Wissenschaft & Mathematik“ für PCs mit Alle Prozessoren.
Wichtige Funktionen
- 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
Ist der Download von tlaplus-toolbox sicher?
- Die Datei kommt von github.com; prüfen Sie, ob das ein offizieller Mirror des Herstellers ist
- Der Download-Link verwendet HTTPS
- Für diese Datei ist kein Hash veröffentlicht
- Der Link wurde noch nicht geprüft
- Der Quellcode ist öffentlich
- ExeAtlas hostet, verpackt oder verändert keine Installer
Passende Anleitung: SHA256-Hash einer Datei unter Windows prüfen
Neueste Versionen
Alle 1 Versionen ›| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 1.8.0Aktuell | — | Alle Prozessoren ZIP |
Installation per Kommandozeile
Silent Install ›scoop install extras/tlaplus-toolboxProgrammdateien (.exe): tlc.exe, toolbox.exe
Passende Anleitung: winget-Anleitung: Programme installieren und updaten
Auch für andere Systeme
flatpak install flathub org.lamport.tla.toolboxInformationen
- Kategorie
- Wissenschaft & Mathematik
- Lizenz
- MIT
- Preis
- Kostenlos
- Altersfreigabe
- Ohne Altersbeschränkung
- Voraussetzung
- Windows 11 / 10
- Architektur
- Alle Prozessoren
- Installer
- Portabel
- Weitere Plattformen
- Linux
- Version
- 1.8.0
- Erfasste Versionen
- 1
- Website
- lamport.azurewebsites.net
- Scoop-Paket
- extras/tlaplus-toolbox
Bewertungen und Rezensionen
Noch keine Rezensionen. Geben Sie die erste Bewertung ab.
Alternativen zu tlaplus-toolbox
Alle anzeigen ›-
Open Source118.021 ↓ -
Open Source126.728 ↓ -
Open Source46.039 ↓ -
Open Source50.255 ↓ -
Open Source12.244 ↓ -
Open Source17.657 ↓ -
Open Source24.556 ↓ - Open Source28.630 ↓
Häufige Fragen
Ist tlaplus-toolbox kostenlos?
Ja. tlaplus-toolbox ist Open-Source-Software unter der Lizenz MIT.
Ist der Download von tlaplus-toolbox sicher?
Die Datei kommt von github.com; ExeAtlas hostet oder verändert sie nicht.
Läuft tlaplus-toolbox auf ARM (Windows on Arm)?
Der Installer ist architekturunabhängig.
Kann ich tlaplus-toolbox ohne Administratorrechte nutzen?
Ja, das Programm ist portabel: entpacken und starten.
Welche Alternativen zu tlaplus-toolbox gibt es?
Stellarium, KiCad, Quarto, Qalculate! und JASP. Die Seite mit den Alternativen vergleicht sie.
