C2Spin可以自动检测软件中的错误
本文提出了一种自动化模型检测ANSI-C程序的方法
缪力
一种自动化模型检测ANSI-C程序的实用方法[EB/OL]
北京：中国科技论文在线
这些结果表明使用C2Spin检测软件错误是可行的
） 摘要： 模型检测是一种验证有穷状态系统时序逻辑属性的形式化方法
一种自动化模型检测ANSI-C程序的实用方法A Practical Method for Automatic Model Checking ANSI-C Programs
3997
来源：
Licence：
联系：
分类：
平台：
环境：
大小：
更新：
标签：
免费下载
×
温馨提示
请用电脑打开本网页，即可以免费获取你想要的了。
