Dreifach A Automatische Analyse leicht gemacht.
Jetzt downloaden

Dreifach A Ranking & Zusammenfassung

Dreifach A Stichworte

Analysator Analyse Analysieren Presburger-Arithmetik. Automatischer Analysator Automatische Automatikanalyse

Dreifach A Beschreibung

Triple-A- oder Automatikanalyse mit AUTOMATA ist eine voll ausgestattete Java-basierte Bibliothek für endliche Automaten, die mit zwei leistungsstarken Analysetools entworfen wurde (Umgang mit LTL-Modellprüf- und Presburger-Arithmethoden) und eine grafische Benutzeroberfläche, die um ihn herumgebaut ist.

Dreifach A Zugehörige Software