FC2工具

fc2tools集:用于验证并发系统的工具集。FC2Tools包及其图形编辑器签名是处理基于模型的分布式通信系统自动验证软件的先驱。它由INRIA和Ecole des Mines/CMA联合开发,作为MEIJE研究团队的一部分。主要特点是:实现过程代数理论,用于语法和语义;通过组合简化和抽象进行验证;交替或组合使用显式和隐式(BDD)实现样式,以提高效率;使用特定的FC2文件交换格式,以便与其他验证软件轻松接口。