麦克塔 swMATH ID: 10128 软件作者: Wehrle,Martin;塞巴斯蒂安·库普弗施米德 描述: Mcta:启发式和搜索计时系统。Mcta是时间自动机并发系统的有向模型检查工具。本文从实现的角度回顾了Mcta及其新发展。新的发展包括启发式和搜索技术,它们定义了定向模型检查的最新状态。特别是,Mcta具有强大的模式数据库启发式,可以有效地找到最短的可能错误跟踪。此外,Mcta提供了基于多队列搜索算法的新搜索技术。我们的评估表明,Mcta能够显著优于以前版本的Mcta以及相关的最新工具,如Uppaal和Uppaal/Dmc。 主页: http://link.springer.com/chapter/10.1007%2F978-3-642-33365-1_18 相关软件: Uppaal公司;莫比/DC 引用于: 1文件 2位作者引用 1 塞巴斯蒂安·库普弗施米德 1 马丁·韦尔 0连载引用 在1个字段中引用 1 计算机科学(68-XX) 按年份列出的引文