model checking的意思|示意

美 / ˈmɔdəl ˈtʃekiŋ / 英 / ˈmɑdl ˈtʃɛkɪŋ /

[自] 模型校验

model checking相关短语

1、 Symbolic Model Checking 符号模型检测,符号模型检验,符号化模型检测,符号模型检查

2、 Bounded Model Checking 有界模型检测,有界模型检验方法

3、 Formal Model Checking 形式模型检查

4、 Model Checking Software 模型检验软件,模型检查软件

5、 Model-checking Tool 模型检测工具

6、 model-checking 模型检查,模型检测

7、 Model Checking for Software 软件模型检测

8、 software model checking 软件模型检测

9、 MODEL CHECKING PROBLEM 问题