And formal verification is one form of static verification.
其中形式验证是静态验证的一种。
The other type of formal verification is property checking.
另外一种形式验证是特性检查。
The current trends of formal verification are also discussed.
对形式验证的发展趋势也做了论述。
Many factors can betray the confidence offered by formal verification.
许多因素能够降低形式验证提供的信心度。
Model checking is a formal verification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
This paper focuses on the formal verification of MANET non-secure and secure routing protocols.
在安全问题中，路由协议的正确性尤为重要。
The purpose of formal verification is to prove if the hybrid systems operate safely in all conditions.
而形式验证的目的在于检验混合系统是否在任何环境下都能安全运行。
New problems are encountered in functional design, simulation, formal verification, testing and other fields.
由于设计规模的扩大，芯片的功能设计、仿真、形式验证、测试等都遇到了新的问题。
Finally, it shows the formal verification of the improved protocol and proves its fairness and non-repudiation.
最后对改进后的协议进行形式化分析，证明改进后协议的不可否认性和公平性。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
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.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
Formal verification software bugs.
形式验证软件的缺陷。
Formal verification is an effective approach to enhancing the reliability of softwares.
形式验证是提高软件可靠性的有效手段。
As the complement to traditional simulation-based verification process, Formal verification methods gain more momentum recently.
形式验证作为传统模拟验证的补充越来越受到重视。
Formal verification, although offering exhaustive checking on properties, by no means guarantees complete functional correctness of design.
尽管形式验证能够彻底检查特性，但仍然无法保证设计完全正确。
Formal verification, although offering exhaustive checking on properties, by no means guarantees complete functional correctness of design.
尽管形式验证能够彻底检查特性，但仍然无法保证设计完全正确。
应用推荐