fc2工具 swMATH ID: 12386 软件作者： Bouali，A.、Ressouche，A.、Roy，V.、de Simone，R。 描述： fc2tools集：用于验证并发系统的工具集。FC2Tools软件包及其图形编辑器Autograph是处理分布式通信系统基于模型的自动验证的软件中的先驱。它是由INRIA和Ecole des Mines/CMA作为MEIJE研究团队的一部分联合开发的。主要特点是：实现了进程代数理论，用于语法和语义；通过成分约简和抽象进行验证；交替或组合使用显式和隐式（BDD）实现样式以提高效率；使用特定的FC2文件交换格式，便于与其他验证软件进行接口。 主页： http://www-sop.inria.fr/meije/verification网站/ 相关软件： CADP公司;Exp.未结;CAESAR_解决;Uppaal公司;LTSmin公司;微CRL;电子LOTOS;CMC公司;牡蛎;TINA公司;克洛诺斯;mCRL2型;西尔万;M-树;共刺激物;SIGREF公司;MWB公司;MRMC公司;APNN-工具箱;TVT电视 引用于： 12文件 全部的 前5名20位作者引用 5 弗雷德里克·朗 三 休伯特·加拉维 2 阿兰·邦迪 2 格林，伊恩 2 拉杜·马特埃斯库 2 劳尔·蒙罗伊 1 文森佐·西安西亚 1 兰斯·克莱维兰 1 尼古拉斯·科斯特 1 吉安·路易吉，法拉利 1 凯西·菲斯勒 1 罗伯特·瓜夏莱 1 霍尔格·赫尔曼斯 1 艾蒂安·兰特雷贝克 1 沃伊切赫·彭泽克 1 Półrola，阿加塔 1 温德林·塞维 1 扬·施托克 1 丹尼尔·斯特罗洛 1 莫西·亚亚科夫·瓦尔迪 全部的 前5名6篇连载文章中引用 1 信息学报 1 计算机程序设计科学 1 自动推理杂志 1 系统设计中的形式化方法 1 计算智能研究 1 计算机科学中的逻辑方法 在3个字段中引用 12 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 概率论与随机过程（60-XX） 按年份列出的引文