Formal verification software bugs.
形式验证软件的缺陷。
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.
许多因素能够降低形式验证提供的信心度。
In between are the people who use formal verification tools to construct these systems.
那些使用常规验证工具建立这些系统的人们处于这两者之间。
Model checking is a formal verification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
Formal verification is an effective approach to enhancing the reliability of softwares.
形式验证是提高软件可靠性的有效手段。
Bugs in formal verification software can miss design errors and thus give false confirmation.
形式验证软件中的缺陷会遗漏设计错误并进而给出错误的确认。
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.
最后对改进后的协议进行形式化分析，证明改进后协议的不可否认性和公平性。
Refered to formal verification for VLSI, a new method to formally describe and verify assurance maintenance is brought forward.
引用数字硬件形式化证明的思想，提出了对保证维护进行形式化描述和验证的思路。
As the complement to traditional simulation-based verification process, Formal verification methods gain more momentum recently.
形式验证作为传统模拟验证的补充越来越受到重视。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Formal verification, although offering exhaustive checking on properties, by no means guarantees complete functional correctness of design.
尽管形式验证能够彻底检查特性，但仍然无法保证设计完全正确。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
However, the deployment of the existing tools in real-world projects also showed the weaknesses and problems of formal verification techniques.
不过，在现实世界工程的现有的工具的部署也显示正式的证实技术的弱点和问题。
Formal verification is consisted of the procedural safeguards and proof of voluntariness, in order to determine the form of voluntary confession.
形式化查证由程序保障规则与任意性证明两部分构成，以此确定任意自白形式。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
In the project of HDTV channel receiving ASIC, DFT techniques based on scan-chains, STA (Static Timing Analysis) and formal verification has been adopted.
数字高清晰度电视信道接收芯片实现中使用了基于扫描链的可测试设计和静态验证技术。
Protection rules from the procedural violation is the exclusion of the confession of the absolute effect of view, there are strict verification and formal verification.
从程序性保障规则的违反是否对自白的排除有绝对效力看，形式化查证又有严格查证与一般查证之分。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
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.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
Throughout the countries and regions of developed law system, the judgment of voluntary confession is formal judgment. We find that the formal verification has become a general practice.
纵观法制发达国家和地区的自白任意性规则，我们不难发现自白的形式化查证已经成为一种通例。
In particular, the specification of the semantics (or meaning) of the UML modeling concepts remained inadequate for such MDD-oriented activities as automatic code generation or formal verification.
特别是，UML建模概念的语义(或含义)的规范，对这些作为自动代码生成或正式确认的基于MDD的活动仍旧是不适当的。
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.
传统的验证手段难以排除所有的设计错误，人们转而求助于各种形式验证方法来保证设计在各种可能输入组合下的正确性。
Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.
其中几本教材中有很少的篇幅涉及到确认和验证，但是仅仅是简单的引用IEEE标准或其他正式的方法。
Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.
其中几本教材中有很少的篇幅涉及到确认和验证，但是仅仅是简单的引用IEEE标准或其他正式的方法。
应用推荐