Model checking is a formal analysis technique with high automation.
模型检验是一种自动化程度很高的形式化分析技术.
互联网
Model checking is a technique for automatically verifying finite - state concurrent systems.
模型检验是自动检验有限状态并发系统的技术.
互联网
Characteristics, classification and application of automobile master model checking fixture were introduced.
介绍了汽车主模型检具的特点 、 分类和应用.
互联网
We analyse the security of e - commerce protocols in failure environments using the model checking approach.
本文用模型检测的方法分析了不可靠环境下 电子商务 协议的安全性质.
互联网
For this part , we also present a model checking method forappropriateness of the Clayton assumption.
我们也针对此模式假设,提出模型检验的方法.
互联网
So, how to solve the problem is an important part of model checking approach.
因此, 如何解决好这个问题,是模型检验方法的重要部分.
互联网