中英▼
go top

formal verification

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

网络释义专业释义英英释义

  形式验证

...规约,即用具有精确语义的形式语言书写的程序功能描述,是验证程序是否正确的依据;另一个研究内容是形式验证(Formal Verification),即验证已有的程序是否满足其规约的要求,它是形式化方法所要解决的核心问题。

基于3055个网页-相关网页

  形式化验证

形式化验证(Formal Verification)是形式化方法的另一项主要研究内容，是保证 系统设计正确的一种重要的方法【311。

基于108个网页-相关网页

  正式验证

... treatment verification治疗验证 formal verification正式验证;[数]形式证明;[数]形式化验证 inventory verification库存盘点;库存量核实;盘存 ...

基于90个网页-相关网页

  [数] 形式证明

... treatment verification治疗验证 formal verification正式验证;[数]形式证明;[数]形式化验证 inventory verification库存盘点;库存量核实;盘存 ...

基于53个网页-相关网页

短语

Formal Verification of Programs 程序的形式验证

semi-formal verification 半形式验证

rd Party Formal Verification 第三方一致性验证

formal verification tool 形式化验证

formal verification technique 形式化验证技术

formal verification techniques 形式化验证技术

formal verification and combination 形式化组装验证

transaction based 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

  • Many factors can betray the confidence offered by formal verification.

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

    youdao

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

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

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