VCS公司 swMATH ID: 29446 软件作者： 何飞；尹良泽；王，弯腰；张连毅；穆、关羽；孟文瑞 描述： VCS：基于组件系统的验证器。本文介绍了用于BIP建模语言的VCS验证工具。该工具允许BIP模型中指定的复杂交互。特别是，组件中的私有变量可以通过用户定义的交互进行更新。在验证后端，BIP模型被制定为过渡系统。提出了几种有效的算法来验证过渡系统的安全特性。实验结果表明VCS具有很好的性能。在许多例子中，它比NuSMV快几个数量级。 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-02444-8_39 相关软件： NuSMV公司 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 VCS：基于组件系统的验证器。 Zbl 1410.68230号他，费；尹良泽；王，弯腰；张连义；穆冠宇；孟文瑞 2013 全部的 前5名6位作者引用 1 他，费 1 孟文瑞 1 穆冠宇 1 王，弯腰 1 尹良泽 1 张连毅 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文