UPPAAL TIGA 4.1.0-0.9
UPPAAL TIGA ist eine Erweiterung des UPPAAL [BDL04] und es führt die erste effiziente on-the-fly-Algorithmus zur Lösung Spiele, basierend auf zeitgesteuerten Spielautomaten in Bezug auf Erreichbarkeit und Sicherheitseigenschaften.Obwohl zeitgesteuerte...
