模型检测技术是形式验证方法中的一种。
传统的验证手段难以排除所有的设计错误，人们转而求助于各种形式验证方法来保证设计在各种可能输入组合下的正确性。
The traditional verification method can't eliminate all the design error. Therefore, many people tum to various formal verification methods to grantee the correctness of the design under any inputs.
构造函数方法从验证数据形式是否适合于处理开始。
The constructor method begins by verifying that the data is in a form suitable for processing.
有了目标解决方案的正式表示形式，还让我能够应用通用设计模式，实际上就是重用各种用于表示组件及其交互的得到认可和验证的方法。
Having a formal representation of the target solution also enables me to apply common design patterns, essentially reusing accepted and validated ways to express components and their interactions.
这些合作伙伴可以在开发完成时过渡到此方法，甚至允许在退役期结束之前同时使用新旧两种形式的身份验证。
Those partners can transition to this method as their development completes, and they can even allow for both the new and older forms of authentication until over the cutover is complete.
现在应该注意，存储库可能有多种身份验证形式，所以需要决定在连接器的logon方法中如何对不同的凭证进行映射。
This is a good time to note that your repository may have multiple forms of authentication, so you may need to decide how to map the different credentials in your connector's logon method.
文章从两个角度介绍安全协议形式化验证的方法：证明与证伪。
This paper introduces tools of verification and falsification and then compare and analyses their characteristic.
最后想指出的是，我们通过对验证逻辑在信息安全方面的一些尝试和研究，说明了形式化逻辑方法确实可以在这个领域上发挥重要作用。
Finally, through the attempt and research on verification logic in the field of information security, we point that formal logic method is sure playing a main role in it.
智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。
The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.
进程演算通常用来研究交互式反应系统，其中的互模拟方法是用来形式化验证系统属性的重要途径。
Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.
而形式化逻辑分析方法可以在协议实施之前就用严格可靠的方法对其进行分析验证，是一个最有前途的研究方法。
But the formal logic analysis system can validate it in a credible and strict way before protocol was applied, it is one of the most promising way for protocol checking.
同时，用形式化的方法验证了协议，并编写NDIS中间层驱动程序实现了协议。
Simultaneously, we prove this protocol by formalized method and implement this protocol using NDIS Intermediate Drivers.
本文依据国际电信联合委员会(itu - T)的智能网能力集建议，对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
Model checking is a formal verification by exhaustive search to finite state automata.
因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。
Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.
面向对象方法是一种非形式化的建模方法，对建模后的系统缺乏有效的分析和验证手段。
The object-oriented technology is one non-formalized modelling method, lacks the effective analysis and the confirmation method after the modelling system.
在此方法上，还可以进一步对系统进行形式化的验证。
Furthermore, object semantic can be checked formally and automally with this method.
形式化验证方法运用数学方法表达系统的规范或系统的性质，并且根据数学理论来证明设计的系统满足设计的规范或具有所期望的性质。
With these approaches, the behaviors and requirements of the system are described mathematically, and formal proof is used to verify that the behaviors behaves according to the requirements.
在过去的二十几年中，人们对于数字电路顺序行为的验证进行了深入的研究并提出了许多行之有效的验证方法，例如，模拟的方法和形式化的方法等。
In the past twenty years, people have studied extensively and proposed several effective verification methods for sequential behaviors of digital circuits, such as simulation method and formal method.
该方法针对目前航空电子系统的系统设计与验证中的“V”型流程进行建模，并对其进行形式化的描述，以供计算机分析、识别。
With this met hod V-type process in current avionics system design and verification is modeled and formally described for computer analysis and identification.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
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.
利用该设计方法完成了原理样机设计，并试验验证了该方法的正确性，同时该方法也可以推广应用到其他形式的自由活塞发动机设计当中。
Using the design method, a prototype design and experimental verification on the validity of the method are made. The methods can also be applied to other forms of free piston engine designs.
研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。
It is important to study the efficient modeling and verification methods in system testing, feasibility analysis and so on.
分析了STEP - NC程序构造特点，提出基于形式和实体白勺信息提取方法，并通过实例停止验证。
Research the characteristics of the STEP-NC program structure, and propose a method of information extraction based on schema and entity. In the last, test and verify the method by an example.
分析了STEP - NC程序构造特点，提出基于形式和实体白勺信息提取方法，并通过实例停止验证。
Research the characteristics of the STEP-NC program structure, and propose a method of information extraction based on schema and entity. In the last, test and verify the method by an example.
应用推荐