軟件截圖:
UPPAAL TIGA是UPPAAL [BDL04]的延伸，它實現了第一個有效的即時算法求解基於定時遊戲自動機相對於可達性和安全性的遊戲。
雖然定時遊戲長期被稱為是可判定出現到現在一直缺乏有效和真正的即時算法分析道。
UPPAAL TIGA提供用戶友好的圖形界面，其對應的服務器，以及一個命令行驗證。
我們提出[CDFLL05]的算法是對即時算法由劉＆Smolka的[LS98]對於線性時間模型檢測有限狀態系統的建議的一個象徵性的擴展。作為在即時，已經探索了整個狀態空間前的符號算法可以終止長。
還該算法的各個步驟進行了有效地通過使用所謂的區域作為底層數據結構。我們的工具實現了基本的符號算法的各種優化，以及用於獲得時間最優獲勝策略（可達性遊戲）的方法。
什麼是新的，在此版本：
評論沒有發現