TLA + Tools. A Toolkit für TLA + Spezifikationssprache und die Pluscal-Algorithmussprache, zusammen mit ihrem Assoc ...
Jetzt downloaden

TLA + Tools. Ranking & Zusammenfassung

TLA + Tools. Stichworte

Simulator Parser

TLA + Tools. Beschreibung

TLA + Tools ist eine nützliche Erfassung von Versorgungsunternehmen und Komponenten, mit denen ein Programm zum Satztier TLA + Technikationen, einem Simulator- und Modell-Checker umfasst, der eine Unterklasse von "ausführbaren" TLA + -Daten angeht. Im Inneren des TLA + -Tools-Pakets finden Sie auch ein Pluscal zum TLA + Translation-Dienstprogramm, einen Syntax-Checker für TLA + -Pheatik sowie ein Parser.

TLA + Tools. Zugehörige Software