片语

dynamic-formal hybrid verification动态一形式混合验证

Formal Verification of Programs程序的形式验证

formal validation and verification形式化描述和验证

semi-formal verification半形式验证

formal description and verification形式化描述和验证

formal program verification形式程序验证

formal schedulability verification形式化可调度性验证

Formal Methods and Verification形式化方法与验证

英汉例句

• 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.

  而形式验证的目的在于检验混合系统是否在任何环境下都能安全运行。

• Refered to formal verification for VLSI, a new method to formally describe and verify assurance maintenance is brought forward.

  引用数字硬件形式化证明的思想，提出了对保证维护进行形式化描述和验证的思路。

• Since the code is open to review by other developers as soon as it is released, there was never a formal verification cycle performed as is common in other forms of software development.

  由于代码一经发布后就公开给其他开发者进行审查，因此从来没有出现过一个与其他形式的软件开发类似的正式的验证周期。

• 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 a formal verification by exhaustive search to finite state automata.

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

• 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.

  纵观法制发达国家和地区的自白任意性规则，我们不难发现自白的形式化查证已经成为一种通例。

• 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.

  传统的验证手段难以排除所有的设计错误，人们转而求助于各种形式验证方法来保证设计在各种可能输入组合下的正确性。

• And formal verification is one form of static verification.

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

• Finally, it shows the formal verification of the improved protocol and proves its fairness and non-repudiation.

  最后对改进后的协议进行形式化分析，证明改进后协议的不可否认性和公平性。

• Bugs in formal verification software can miss design errors and thus give false confirmation.

  形式验证软件中的缺陷会遗漏设计错误并进而给出错误的确认。

• Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.

  模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。

• The other type of formal verification is property checking.

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

• 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.

  各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。

• The current trends of formal verification are also discussed.

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

• One is formal verification and the other is simulation-based verification. The former is still in its very early stage of development. Therefore, the latter is still industry」s choice to date.

  由于形式验证法还在初期的研究发展阶段，因此工业界仍采用模拟验证法，而随机测试法是模拟验证法中常用的一种技术。