Dies ist die Linux-App mit dem Namen tlaplus, deren neueste Version als tla2tools.jar heruntergeladen werden kann. Es kann online beim kostenlosen Hosting-Anbieter OnWorks für Workstations ausgeführt werden.
Laden Sie diese App namens tlaplus mit OnWorks kostenlos herunter und führen Sie sie online aus.
Befolgen Sie diese Anweisungen, um diese App auszuführen:
- 1. Diese Anwendung auf Ihren PC heruntergeladen.
- 2. Geben Sie in unserem Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX den gewünschten Benutzernamen ein.
- 3. Laden Sie diese Anwendung in einem solchen Dateimanager hoch.
- 4. Starten Sie den OnWorks Linux-Online- oder Windows-Online-Emulator oder den MACOS-Online-Emulator von dieser Website.
- 5. Rufen Sie vom gerade gestarteten OnWorks Linux-Betriebssystem aus unseren Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX mit dem gewünschten Benutzernamen auf.
- 6. Laden Sie die Anwendung herunter, installieren Sie sie und führen Sie sie aus.
SCREENSHOTS
Ad
tlaplus
BESCHREIBUNG
TLC ist ein expliziter Zustandsmodellprüfer für in TLA+ geschriebene Spezifikationen. Die TLA+Toolbox ist eine IDE für TLA+. TLA+ ist eine Hochsprache zur Modellierung von Programmen und Systemen – insbesondere von gleichzeitigen und verteilten. Es basiert auf der Idee, dass sich Dinge am besten mit einfacher Mathematik präzise beschreiben lassen. TLA+ und seine Tools sind nützlich, um grundlegende Designfehler zu beseitigen, die im Code schwer zu finden und teuer zu korrigieren sind.
Eigenschaften
- Über TLC ist ein expliziter Zustandsmodellprüfer
- Für in TLA+ verfasste Spezifikationen
- Die TLA+Toolbox ist eine IDE für TLA+
- TLA+ ist eine Hochsprache zur Modellierung von Programmen und Systemen
- TLA+ und seine Tools sind nützlich, um grundlegende Designfehler zu beseitigen
Programmiersprache
Javac
Kategorien
Dies ist eine Anwendung, die auch von https://sourceforge.net/projects/tlaplus.mirror/ abgerufen werden kann. Es wurde in OnWorks gehostet, um es auf einfachste Weise online über eines unserer kostenlosen Betriebssysteme ausführen zu können.
