"模型检测"是个多义词，它可以指模型检测（自动验证技术）,模型检测（2018年电子工业出版社出版书籍）。
模型检测
网络释义专业释义
模型检测(Model Checking)是一种采用形式化方法的自动分析和验证技术,相对于传统形式化证明方法,具有快速、准确、全自动、对使用人员数学背景要求不高的特...
基于444个网页-相关网页
短语
符号模型检测 Symbolic Model Checking
模型检测工具 Model-checking Tool ; MCTK
软件模型检测 Model Checking for Software ; software model checking
有界模型检测 Bounded Model Checking
模型检测模块库 Model verification
时态模型检测 temporal model checking
spin模型检测器 spin model checker
概率模型检测 probabilistic model checking
符号化模型检测 Symbolic model checking
-
model checking - 引用次数：254
The function of model checking tool ACPEG was improved.
改进了模型检测工具ACPEG。
参考来源 - 基于模型检测的空间访问控制系统规则验证model-checking - 引用次数：25By case study, we demonstrate the heuristic algorithm can find the potential errors effectively and return responding diagnostic information, especially for large systems that are difficult to be verified by normal model-checking tool.
实例研究表明，对标准的模型检测工具无法处理的大型系统，本文所提出的方法能以较好的概率发现隐藏的错误，并给出相应的诊断信息。
参考来源 - 基于反例搜索的启发式模型检测算法的研究model checker - 引用次数：21 参考来源 - 网构软件演化的业务一致性验证方法 -
model checking - 引用次数：13 参考来源 - 面向对象MSVL语言及其在组合Web服务验证中的应用
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
这与我们所知道的模型检测相似。
-
模型检测技术是形式验证方法中的一种。
-
研究模型检测(1)模型检测技术分析协议的方法。
Study the model checking (1) model checking technique analyzed protocol 's method.
-
About 10 to 15 years later, another physicist, Ernest Rutherford, actually put this plum pudding model to test, Ernest Rutherford and he did it through studies that he'd been doing on radiation that was emitting something called alpha particles.
因此我们要，在上面再做改进,大概过了10到15年，另外一个物理学家,用实验来检测这个李子布丁模型,他一直从事alpha粒子辐射研究。
应用推荐
$firstVoiceSent
- 来自原声例句