Exp.未结 swMATH ID: 7702 软件作者： 弗雷德里克·朗 描述： Exp.Open 2.0：集成部分顺序、组合和现场验证方法的灵活工具。集成适用于不同语言的形式验证技术是可取的。我们推出了Exp.Open2.0，这是Cadp验证工具箱的一个新工具，它结合了几个功能。首先，Exp.Open 2.0允许将并发系统描述为有限状态机的组合，使用同步向量或多个进程代数（Ccs、Csp、Lotos、E-Lotos和μCrl）中的并行组合、隐藏、重命名和剪切运算符。其次，与Cadp的其他工具一起，Exp.Open 2.0允许状态空间生成和动态探索。第三，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 休伯特·加拉维 2 德容、希德 2 埃斯特尔·杜马斯 2 佩德罗·蒙泰罗。 1 埃夫拉德，雨果 1 雷米·Hérilier 1 杰夫·克莱默 1 莫里斯·拉维奥 1 杰夫·马吉 1 弗朗科·马扎蒂 1 格温·萨拉恩 1 温德林·塞维 1 Tim A.C.Willemse。 全部的 前5名6篇连载文章中引用 三 程序设计中的逻辑和代数方法杂志 1 信息学报 1 理论计算机科学 1 计算的形式方面 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 在3个字段中引用 12 计算机科学（68至XX） 2 生物学和其他自然科学（92-XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文