2. And formalverification is one form of static verification.
其中形式验证是静态验证的一种。
来自互联网
3. The other type of formalverification is property checking.
另外一种形式验证是特性检查。
来自互联网
4. The current trends of formalverification are also discussed.
对形式验证的发展趋势也做了论述。
来自互联网
5. Many factors can betray the confidence offered by formalverification.
许多因素能够降低形式验证提供的信心度。
来自互联网
6. In between are the people who use formalverification tools to construct these systems.
那些使用常规验证工具建立这些系统的人们处于这两者之间。
来自互联网
7. Model checking is a formalverification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
来自互联网
8. Formalverification is an effective approach to enhancing the reliability of softwares.
形式验证是提高软件可靠性的有效手段。
来自互联网
9. Bugs in formalverification software can miss design errors and thus give false confirmation.
形式验证软件中的缺陷会遗漏设计错误并进而给出错误的确认。
来自互联网
10. This paper focuses on the formal verification of MANET non-secure and secure routing protocols.
在安全问题中，路由协议的正确性尤为重要。
来自互联网
11. The purpose of formalverification is to prove if the hybrid systems operate safely in all conditions.
而形式验证的目的在于检验混合系统是否在任何环境下都能安全运行。
来自互联网
12. New problems are encountered in functional design, simulation, formalverification, testing and other fields.
由于设计规模的扩大，芯片的功能设计、仿真、形式验证、测试等都遇到了新的问题。
来自互联网
13. Finally, it shows the formal verification of the improved protocol and proves its fairness and non-repudiation.
最后对改进后的协议进行形式化分析，证明改进后协议的不可否认性和公平性。
来自互联网
14. Refered to formalverification for VLSI, a new method to formally describe and verify assurance maintenance is brought forward.
引用数字硬件形式化证明的思想，提出了对保证维护进行形式化描述和验证的思路。
来自互联网
15. As the complement to traditional simulation-based verification process, Formalverification methods gain more momentum recently.
形式验证作为传统模拟验证的补充越来越受到重视。
来自互联网
16. Model Checking is a formalverification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
来自互联网
17. Formalverification, although offering exhaustive checking on properties, by no means guarantees complete functional correctness of design.
尽管形式验证能够彻底检查特性，但仍然无法保证设计完全正确。
来自互联网
18. Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
来自互联网
19. However, the deployment of the existing tools in real-world projects also showed the weaknesses and problems of formalverification techniques.
不过，在现实世界工程的现有的工具的部署也显示正式的证实技术的弱点和问题。
来自互联网
20. Formalverification is consisted of the procedural safeguards and proof of voluntariness, in order to determine the form of voluntary confession.
形式化查证由程序保障规则与任意性证明两部分构成，以此确定任意自白形式。
来自互联网
21. These achievements include the axiomatization of programming languages and data types, formalverification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
来自互联网
22. In the project of HDTV channel receiving ASIC, DFT techniques based on scan-chains, STA (Static Timing Analysis) and formal verification has been adopted.
数字高清晰度电视信道接收芯片实现中使用了基于扫描链的可测试设计和静态验证技术。
来自互联网
23. Protection rules from the procedural violation is the exclusion of the confession of the absolute effect of view, there are strict verification and formalverification.
从程序性保障规则的违反是否对自白的排除有绝对效力看，形式化查证又有严格查证与一般查证之分。
来自互联网
24. Every formalverification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
来自互联网
25. 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.
26. 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.
纵观法制发达国家和地区的自白任意性规则，我们不难发现自白的形式化查证已经成为一种通例。
来自互联网
27. 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.
28. The traditional verification method can't eliminate all the design error. Therefore, many people tum to various formalverification methods to grantee the correctness of the design under any inputs.
