UPPAAL 4.0.6
UPPAAL ist eine integrierte Werkzeugumgebung für die Modellierung, Validierung und Verifikation von Echtzeitsystemen, wie Netzwerke von Zeitautomaten, erweiterbar um Datentypen (Ganzzahlen begrenzt, Arrays, etc.) modelliert.UPPAAL CORA ist ein Zweig der...