模型检查
网络释义专业释义
-
model checking - 引用次数：42
The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking toolSPIN.
模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。
参考来源 - PROMELA语义引擎执行研究—《电脑知识与技术》—2008年第35期—龙源期刊网
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
时态逻辑在软件确认和模型检查中有广泛的应用。
Temporal logics are widely used in software verification and model checking.
-
然后使用模型检查来检验一个程序是否有某个给定特性。
Model checking is then used to check whether a program has a given property.
-
它可代替详细模型用作环境模型或参与全局性质检查，减小模型检查的状态空间以提高验证效率。
It can be used in place of the detailed model when building environmental model or checking global property to improve the efficiency of model checking .
-
What I am going to do is use these postulates and go through the basis for the Bohr model.
接下来我要利用这个假设,检查波尔模型的根据。
应用推荐