×

麦克塔

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文件

0连载引用

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文