| TLA Toolbox. Eine integrierte Entwicklungsumgebung zum Schreiben und Überprüfen von TLA + -Paten |
Jetzt downloaden |
TLA Toolbox. Ranking & Zusammenfassung
- Name des Herausgebers:
- Microsoft Research
- Betriebssysteme:
- Windows XP / Vista / 7
TLA Toolbox. Stichworte
TLA Toolbox. Beschreibung
TLA + ist eine Spezifikationssprache, die zur Erstellung von hochrangigen Spezifikationen für verteilte und gleichzeitige Systeme dient soll. TLA Toolbox ist die IDE, mit der Sie den TLC-Modell-Checker und TLAPs sowie das TLA + -O-Proof-System verwenden können, um TLA + -Dateien zu erstellen und zu überprüfen.
TLA Toolbox. Zugehörige Software