请输入您要查询的英文单词:

 

单词 static verification
释义
static verification
  • 简明释义
  • 静态验证
  • 网络释义
  • 1

    ?静态验证

    静态验证 (Static Verification): 是指采用分析电路的某些特性是否满足设计要求的方法,来验证电路的正确 性。

  • 2

    ?静态检定

    静态检定

  • 双语例句
  • 1
    And formal verification is one form of static verification.
    其中形式验证是静态验证的一种。
  • 2
    Assumptions are similar to assertions at runtime, but differ during static verification.
    假定与运行时断言相似,不同之处在于静态检验的方式。
  • 3
    Static verification and design by contract relay on theorems that are mostly based on deterministic approach.
    静态验证和契约式设计理论大部分属于确定性理论的范畴。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/10 12:34:50