自动提取源代码的验证模型 - docin.com豆丁网 计模型转换 成形式语言。例如UML。 6）通过测试可执行的路径来模型检验系统性质。例如受限的C模型 检测机（cBoundedModel Checker，CBMC）【111。 1．2．1 C模型检测机 cMc用是C模型检测机（c ModelChecker）的缩写，
基于1个网页-相关网页
c boundedmodel checker
C有界模型检查器
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动