go top

formal verification

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

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

  形式验证

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

基于3054个网页-相关网页

  形式化验证

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

基于108个网页-相关网页

  正式验证

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

基于90个网页-相关网页

  [数] 形式证明

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

基于53个网页-相关网页

短语

formal program verification 形式程序验证

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

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

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

Formal Verification of Programs 程序的形式验证

semi-formal verification 半形式验证

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

formal description and 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

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

以上来源于: Wikipedia

双语例句

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

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

    article.yeeyan.org

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

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

    www.ibm.com

  • 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活动仍旧是不适当

    www.ibm.com

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

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

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