序列。打开 swMATH ID: 849 软件作者: 休伯特·加拉维;拉杜·马特埃斯库 描述: 我们报告了CADP验证工具集的最新增强,该工具集允许检查通过模拟或执行复杂的工业规模系统获得的事件跟踪的正确性。正确性属性使用正则表达式或模态演算公式表示,并在非常大的记录道上进行有效验证。 主页: http://www.inrialpes.fr/vasy/cadp/man/seq.open.html 相关软件: Java路径查找器 引用于: 1文件 更多出版物: http://cadp.inria.fr/vasy/publications/cadp.html 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 序列。OPEN:一种高效的基于跟踪的验证工具。 Zbl 1125.68386号休伯特·加拉维;拉杜·马特埃斯库 2004 2位作者引用 1 休伯特·加拉维 1 拉杜·马特埃斯库 0连载引用 在1个字段中引用 1 计算机科学(68-XX) 按年份列出的引文