全部

1·Formal verification software bugs.

形式验证软件的缺陷。

2·And formal verification is one form of static verification.

其中形式验证是静态验证的一种。

3·The other type of formal verification is property checking.

另外一种形式验证是特性检查。

4·The current trends of formal verification are also discussed.

对形式验证的发展趋势也做了论述。

5·Many factors can betray the confidence offered by formal verification.

许多因素能够降低形式验证提供的信心度。

6·In between are the people who use formal verification tools to construct these systems.

那些使用常规验证工具建立这些系统的人们处于这两者之间。

7·Model checking is a formal verification by exhaustive search to finite state automata.

模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。

8·Formal verification is an effective approach to enhancing the reliability of softwares.

形式验证是提高软件可靠性的有效手段。

9·Bugs in formal verification 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.

在安全问题中，路由协议的正确性尤为重要。