TLA Toolbox. Eine integrierte Entwicklungsumgebung zum Schreiben und Überprüfen von TLA + -Paten
Jetzt downloaden

TLA Toolbox. Ranking & Zusammenfassung

TLA Toolbox. Stichworte

Spezifikation Toolset

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