?模型检测

模型检测(Model Checking)是一种采用形式化方法的自动分析和验证技术,相对于传统形式化证明方法,具有快速、准确、全自动、对使用人员数学背景要求不高的特...

?模型置信度

... model base management system，模型库管理系统 model checking，模型置信度 model coordination method，模型协调法 ...

?模型检验

模型检验(Model checking)方法是一种很有前途的形式验证方法,它的验证方法是通过对限状态空间的遍历来确认规范说明(Specification)是否得到满足.

[自]?模型校验

... model base MBn模型库 model checking 模型校验 model confidence 模型置信度 ...