基于IMC的模型检验。
This is similar to what is known as model checking.
这与我们所知道的模型检测相似。
Model checking technology is one of the validating ways.
模型检测技术是形式验证方法中的一种。
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
Model checking is then used to check whether a program has a given property.
然后使用模型检查来检验一个程序是否有某个给定特性。
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.
对任务流模型检验技术进行了讨论。
Model checking is a formal verification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
This paper proposes an approach to data flow testing for components using model checking.
提出了一种用模型检验进行构件数据流测试的方法。
Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
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.
对于并发传值系统抽象模型的选取直接影响其模型检测的效率。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
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.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.
模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。
The remarkable fruits have been made: the improvements on Graphplan including CGP, SGP, the different class of universal plan via model checking.
在这方面已取得的重要成果有：基于图规划所做的一系列改进如cgp、SGP，基于模型检测方法生成各种通用规划等。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
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 .
它可代替详细模型用作环境模型或参与全局性质检查，减小模型检查的状态空间以提高验证效率。
Model checking utilizes the state model of systems, thus, we present a method that generates the stale models from LSC models based on the LSC semantics.
为了满足模型检验的需要，本文在研究LSC语法语义的基础上提出了一种生成与LSC等价的状态迁移模型的方法。
Model checking verifies whether a desired property holds over a given system through an exhaustive exploration of all the states reachable by the system.
模型检测通过遍历系统所有可达的状态空间来验证系统是否满足特定的安全属性。
By modeling protocol as a system of states ranslation, and examining all possible states, model checking has found some flaws in some well know protocols.
在此模型中，协议被描述成状态变换系统，通过对系统状态的检测，能够发现协议中存在的泄漏。
By modeling protocol as a system of states ranslation, and examining all possible states, model checking has found some flaws in some well know protocols.
在此模型中，协议被描述成状态变换系统，通过对系统状态的检测，能够发现协议中存在的泄漏。
应用推荐