software model checking的意思|示意
美 / /
英 / /
软件模型检查
software model checking的网络常见释义
软件模型检测 什么是软件模型检测（software model checking） a) 软件模型检测是用来在程序执行过程中证明性质正确性的算法.
software model checking相关短语
1、 Model Checking Software 模型检验软件 ; 模型检查软件
2、 Model Checking for Software 软件模型检测