BISIMULATOR（双模拟） swMATH ID: 2526 软件作者： 达米恩·贝尔加米尼；尼古拉斯·德苏贝斯（Nicolas Descoubes）；克利斯朵夫·朱伯特；拉杜·马特埃斯库 描述： BISIMULATOR：用于实时等价性检查的模块化工具。等价性检查问题是通过比较标记转换系统（Ltss）模与给定的等价关系来验证系统（例如协议）是否与其抽象规范（例如服务）匹配。传统上有两种方法用于执行等价性检查：全局验证要求在比较之前构造两个Lts，而本地（或现场）验证允许在比较期间增量地探索它们。后一种方法能够检测错误，即使是在禁止使用的大型系统中，因此可以更有效地应对状态爆炸。 主页： http://rd.springer.com/chapter/10.1007/978-3-540-31980-1_42 相关软件： M-树;CADP公司;Exp.未结;CAESAR_解决;自旋蛋白;LOTOS公司;凯撒;mCRL2型;棱镜;XTL公司;菲亚克;西尔文;SIGREF公司;MWB公司;MRMC公司;LTSmin公司;APNN-工具箱;fc2工具;TVT电视;并发工作台 引用于： 9文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 BISIMULATOR：用于实时等价性检查的模块化工具。 Zbl 1087.68583号达米安·贝加米尼;尼古拉斯·德苏贝斯;克里斯托弗·茹伯特;拉杜·马特埃斯库 2005 全部的 前5名16位作者引用 4 弗雷德里克·朗 三 休伯特·加拉维 三 拉杜·马特埃斯库 三 Salaün，格温 三 温德林·塞维 2 克里斯托夫·朱伯特 1 达米安·贝加米尼 1 汉斯·佩特·迪费尔 1 尼古拉斯·德苏贝斯 1 埃弗拉德，休斯 1 雷米·Hérilier 1 杰夫·克莱默 1 杰夫·马吉 1 斯特凡·米利厄斯 1 卢茨·施罗德 1 托尔斯滕·维曼 3篇连载文章中引用 2 计算的形式方面 1 计算机程序设计科学 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 9 计算机科学（68至XX） 1 概率论与随机过程（60-XX） 按年份列出的引文