Exp.未结 swMATH编号： 7702 软件作者： 弗雷德里克·朗 描述： Exp.Open 2.0：集成部分顺序、组合和现场验证方法的灵活工具。集成适用于不同语言的形式验证技术是可取的。我们介绍了Exp.Open 2.0，这是Cadp验证工具箱的一个新工具，它结合了几个功能。首先，Exp.Open 2.0允许将并发系统描述为有限状态机的组合，使用同步向量或多个进程代数（Ccs、Csp、Lotos、E-Lotos和μCrl）中的并行组合、隐藏、重命名和剪切运算符。其次，Exp.Open2.0与Cadp的其他工具一起，允许状态空间生成和实时探索。第三，Exp.Open 2.0实现了动态部分订单缩减，以避免生成独立转换的无关交错。第四，Exp.Open2.0允许使用自动机网络和Petri网等交换格式将模型导出到其他工具。最后，我们展示了一些实际应用程序，并在几个基准上测量了Exp.Open2.0的效率。 主页： http://cadp.inria.fr/man/exp.open.html 相关软件： CADP公司;CAESAR_解决;M-树;BISIMULATOR（双模拟）;fc2工具;自旋蛋白;电子LOTOS;LTSmin公司;LNT2LOTOS公司;凯撒;mCRL2型;LOTOS公司;XTL公司;CMC公司;NuSMV公司;迪维尼;菲亚克;西尔万;SIGREF公司;MWB公司 引用于： 12文件 其他出版物： http://cadp.inria.fr/man/exp.open.html#sect33 全部的 前5名15位作者引用 8 弗雷德里克·朗 6 拉杜·马特埃斯库 4 休伯特Garavel 2 德容、希德 2 埃斯特尔·杜马斯 2 佩德罗·蒙泰罗。 1 埃夫拉德，雨果 1 雷米·Hérilier 1 杰夫·克莱默 1 莫里斯·拉维奥 1 杰夫·马吉 1 佛朗哥，马赞蒂 1 格温·萨拉恩 1 温德林·塞维 1 Tim A.C.Willemse。 全部的 前5名6篇连载文章中引用 3 程序设计中的逻辑和代数方法杂志 1 信息学报 1 理论计算机科学 1 计算的形式方面 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 在3个字段中引用 12 计算机科学（68至XX） 2 生物学和其他自然科学（92-XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文