xmmsctrl ist ein kleines Programm, um xmms aus der Befehlszeile steuern. xmmsctrl Ziel ist verbunden mit sh zu verwenden, um xmms Zustand zu testen und führen Sie eine entsprechende Aktion, zB werden wenn spielen dann Pause anderes Spiel.Das Interesse...
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...
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...