model checking的意思|示意

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

[自] 模型校验

英语单词model checking的用法讲解

Model checking是一种自动化验证技术，用于确认计算机程序是否满足规范要求。这种技术涉及到一个系统模型和一个系统规范，它会对模型进行状态探索和系统规范检查，以检查模型中是否存在错误。Model checking技术广泛应用于安全协议、网络协议、分布式软件系统等领域中。

Model checking的原理是将系统模型转换成一个有限状态自动机，然后基于该自动机进行规范验证。这种自动验证技术通常分为两个步骤，首先是状态探索，也就是在系统模型中进行搜索，以找到可能导致错误的状态。其次是规范检查，也就是通过验证算法对搜索到的状态进行规范验证，以判断该状态是否满足要求。

Model checking技术广泛应用于工业界和学术界，在软件和硬件验证方面有着广泛的应用。它可以有效地检测出错误和漏洞，避免了日后出现严重的问题。此外，由于它是一种自动化的技术，可以大大提高工作效率，降低了人为因素的干扰。

总之，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 模型检查,模型检测

8、 software model checking 软件模型检测

For this part , we also present a model checking method forappropriateness of the Clayton assumption.

我们也针对此模式假设,提出模型检验的方法.

互联网

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.

本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质.

互联网

Model checking is a formal analysis technique with high automation.

模型检验是一种自动化程度很高的形式化分析技术.

互联网

Model checking is a technique for automatically verifying finite - state concurrent systems.

模型检验是自动检验有限状态并发系统的技术.

互联网

So, how to solve the problem is an important part of model checking approach.

因此, 如何解决好这个问题,是模型检验方法的重要部分.

互联网