This is similar to what is known as model checking.
这与我们所知道的模型检测相似。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
Using model checking to generate test cases for class testing;
本文提出了一种新的面向对象软件簇级测试用例生成方法。
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
The technology of model checking based on mission flow is discussed in this paper.
对任务流模型检验技术进行了讨论。
This paper proposes an approach to data flow testing for components using model checking.
提出了一种用模型检验进行构件数据流测试的方法。
We analyse the security of e-commerce protocols in failure environments using the model checking approach.
本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。
Characteristics, classification and application of automobile master model checking fixture were introduced.
介绍了汽车主模型检具的特点、分类和应用。
Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence.
近十年以来，使用模型检查来验证有无某些特性已经成为主流。
The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.
对于并发传值系统抽象模型的选取直接影响其模型检测的效率。
For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
By separating the model checking rules and the model checking engine, the scalability and agility of the checking mechanism are improved.
通过将模型验证规则与模型验证引擎相分离的方式，提高了验证机制得可扩展性和灵活性。
We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN - based modularized model checking method.
该文针对模型检测过程中所存在的状态爆炸问题，提出了一种基于模型检测工具SPIN的模块化模型检测方法。
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 .
它可代替详细模型用作环境模型或参与全局性质检查，减小模型检查的状态空间以提高验证效率。
Building the transition relation of sequential logic circuit is one of the key technologies for applying model checking method to verify the sequential logic circuit.
有效地建立和表示时序逻辑电路的状态转移关系是应用模型检查方法验证时序逻辑电路的关键技术之一。
The numerical experiment of a fire control accuracy test demonstrates that residual entropy can be used as a measure for dynamic model checking and order determination.
理论分析和实例计算都表明：“残差熵”可以作为一种有效的度量方法用于动态模型的适应性检验和定阶。
Study of model checking strategy can eliminate the redundance configurations which exist in the model design and help to improve quality of the design of mobile system.
对模型验证策略的研究可以消除在模型设计阶段出现的冗余组态，提高移动系统的设计水平。
The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking tool SPIN. This paper studies semantic engines of PROMELA.
模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
When using in the model driven architecture (MDA) service platform, the correctness and high-performance of the model checking software based on the mechanism are also testified.
模型验证软件通过在模型驱动架构(MDA)业务平台中的测试证明了该验证机制的正确性和高效性。
After analyzing current technology background, a kind of unified modeling language (UML) activity model checking mechanism based on rule database in Telecom services is proposed.
在分析现有的技术背景后，提出了一种基于规则库的电信业务统一建模语言(uml)活动图验证机制。
Based on the sufficient study on various logics in artificial intelligence and computer science, we in this project paid our main attention to the problem of model checking epistemic logic.
本项目在充分研究研究人工智能逻辑的基础上，着重对认识逻辑的模型检测问题进行研究。
Based on the model checking theory, we derive the running mode analysis method of three party cryptographic protocols from the running mode analysis method of two party cryptographic protocols.
在两方密码协议运行模式分析法的基础上，利用模型检测的理论结果，提出了三方密码协议运行模式分析法。
Based on the model checking theory, we derive the running mode analysis method of three party cryptographic protocols from the running mode analysis method of two party cryptographic protocols.
在两方密码协议运行模式分析法的基础上，利用模型检测的理论结果，提出了三方密码协议运行模式分析法。
应用推荐