formal verification

基本解释

• 形式验证，[数] 形式证明

英汉例句

双语例句

• Even today, formal verification is mainly a research area.
  甚至现在，形式验证主要地用于研究领域。
• 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.
  由于代码一经发布后就公开给其他开发者进行审查，因此从来没有出现过一个与其他形式的软件开发类似的正式的验证周期。
• 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的活动仍旧是不适当的。

• formal verification更多例句

词组短语

短语

• formal program verification 形式程序验证
• formal schedulability verification 形式化可调度性验证
• dynamic -formal hybrid verification 动态一形式混合验证
• Formal Methods and Verification 形式化方法与验证
• Formal Verification of Programs 程序的形式验证

• formal verification更多词组

专业释义

计算机科学技术

• 形式验证

  The research results of formal verification technology at home and abroad are investigated in this paper,the principal methods are analyzed and compared,and some problems worth researching are pointed out.
  研究了国内外形式验证技术的研究成果,对主要方法进行了分析和比较并对新的热点进行了展望。

• 形式化检验
• 形式化验证
• 服务组合验证

电子、通信与自动控制技术

• 形式验证

  And formal verification is one form of static verification.
  其中形式验证是静态验证的一种。

• 形式化验证

数学

• 形式证明
• 形式化验证

材料科学

• 正式验证