什么是软件模型检测（software model checking） a) 软件模型检测是用来在程序执行过程中证明性质正确性的算法.
基于16个网页-相关网页
Model Checking Software 模型检验软件 ; 模型检查软件
Model Checking for Software 软件模型检测
software model checking
软件模型检查
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
youdao
应用推荐
模块上移
模块下移
不移动