UPPAAL - Kostenlosen Download-Software Für Linux In Qualitätssicherung und Testen von Software

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...