The drawbacks of the determination of equivalent mutants and the automatic generation of the test-cases in mutation analysis can be improved through the introduction of model-checking technology.
通过引入模型检验技术可以改进变异分析方法中等价变异体的判断和测试用例自动生成的不足。
This is similar to what is known as model checking.
这与我们所知道的模型检测相似。
The technology modes of Business Modeler perform deeper error checking on the model.
Business Modeler的技术模型对模型执行更为深入的错误检查。
It offers ways to support conditional processing, automatic linking and link checking, and a powerful reuse model.
它提供了一种支持条件处理、自动化链接和链接检查的方法，还有一个强大的复用模型。
These modeling modes expose technical details that apply only to the target platform, plus provide an extra level of error checking to ensure that the exported model is correct for the target runtime.
这些建模模式公开仅应用于目标平台的技术详细信息，并提供额外级别的错误检查，以确保导出的模型适用于目标运行时。
Model checking is then used to check whether a program has a given property.
然后使用模型检查来检验一个程序是否有某个给定特性。
Model checking technology is one of the validating ways.
模型检测技术是形式验证方法中的一种。
基于IMC的模型检验。
Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.
采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸，解决该问题的一种有效途径是采用反向替换方法。
Model checking is a formal verification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
Model checking verifies whether a desired property holds over a given system through an exhaustive exploration of all the states reachable by the system.
模型检测通过遍历系统所有可达的状态空间来验证系统是否满足特定的安全属性。
Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
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.
有效地建立和表示时序逻辑电路的状态转移关系是应用模型检查方法验证时序逻辑电路的关键技术之一。
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.
在两方密码协议运行模式分析法的基础上，利用模型检测的理论结果，提出了三方密码协议运行模式分析法。
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.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence.
近十年以来，使用模型检查来验证有无某些特性已经成为主流。
For developing concurrent distributed system, process algebra based model checking is widely considered as a feasible and important approach to reducing errors and increasing system reliability.
在分布式并发系统构造过程中，基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。
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.
提出了一种用模型检验进行构件数据流测试的方法。
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.
本项目在充分研究研究人工智能逻辑的基础上，着重对认识逻辑的模型检测问题进行研究。
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.
理论分析和实例计算都表明：“残差熵”可以作为一种有效的度量方法用于动态模型的适应性检验和定阶。
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.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
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语言执行方式的理解决定所描述系统模型的行为方式。
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 .
它可代替详细模型用作环境模型或参与全局性质检查，减小模型检查的状态空间以提高验证效率。
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 .
它可代替详细模型用作环境模型或参与全局性质检查，减小模型检查的状态空间以提高验证效率。
应用推荐