软件截图:
UPPAAL TIGA是UPPAAL [BDL04]的延伸，它实现了第一个有效的即时算法求解基于定时游戏自动机相对于可达性和安全性的游戏。
虽然定时游戏长期被称为是可判定出现到现在一直缺乏有效和真正的即时算法分析道。
UPPAAL TIGA提供用户友好的图形界面，其对应的服务器，以及一个命令行验证。
我们提出[CDFLL05]的算法是对即时算法由刘＆Smolka的[LS98]对于线性时间模型检测有限状态系统的建议的一个象征性的扩展。作为在即时，已经探索了整个状态空间前的符号算法可以终止长。
还该算法的各个步骤进行了有效地通过使用所谓的区域作为底层数据结构。我们的工具实现了基本的符号算法的各种优化，以及用于获得时间最优获胜策略（可达性游戏）的方法。
什么是新的，在此版本：
评论没有发现