Zeno工具 swMATH ID: 10129 软件作者： Rinast，J。 描述： ZenoTool，用于UPPAAL的Zeno Run检测工具。ZenoTool是一个小型、快速的命令行工具，用于分析使用UPPAAL为Zeno Runs的出现而创建的定时自动机系统的模型规范。Zeno Runs是定时转换系统中的路径，其中在有限时间内执行无限操作。由于这种行为不符合真实世界的行为，Zeno Runs通常是无意的。此外，定时系统中与死锁相对应的定时锁也可能因此而发生。 主页： http://www.sts.tu-harburg.de/research/zenotool.html 依赖项： UPPAAL公司 相关软件： Uppaal公司；克洛诺斯 引用于： 1文件 2位作者引用 1 Rinast，乔纳斯 1 西比尔·舒普 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文