中英▼
go top

formal verification

  • 形式验证：在计算机硬件和软件系统的设计过程中，使用数学的方法根据形式规范或属性来证明其正确性或非正确性。

专业释义英英释义

  • 形式验证 - 引用次数：38

    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.

    研究了国内外形式验证技术的研究成果,对主要方法进行了分析和比较并对新的热点进行了展望。

    参考来源 - 数字系统的形式化验证方法
    形式化检验
    形式化验证
    服务组合验证
  • 形式验证 - 引用次数：59

    And formal verification is one form of static verification.

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

    参考来源 - 超大规模集成电路设计流程中的验证技术及实践
    形式化验证
  • 形式证明
    形式化验证
  • 正式验证

·2,447,543篇论文数据，部分数据来源于NoteExpress

Formal verification

  • abstract: In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.

以上来源于: WordNet

双语例句

  • Formal verification software bugs.

    形式验证软件的缺陷。

    youdao

  • And formal verification is one form of static verification.

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

    youdao

  • The current trends of formal verification are also discussed.

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

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定