model-checking的意思|示意

---

model-checking相关短语

1、 Model Checking 模型检测 ; 模型置信度 ; 模型检验 ;

2、 Symbolic Model Checking 符号模型检测 ; 符号模型检验 ; 符号化模型检测 ; 符号模型检查

3、 Bounded Model Checking 有界模型检测 ; 有界模型检验方法