网站首页  词典首页

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

 

单词 formal verification
释义
  • formal verification

    • 英?[?f?:m?l ?ver?f??ke???n]
    • 美?[?f?rm?l ?v?r?f??ke??n]

    释义

    • 形式证明
  • 实用场景例句

    • 全部

    As alternatives formal verification techniques have been proposed.

    作为选择正式的证实技术已经被提议.

    互联网

    As the complement to traditional simulation - based verification process , Formal Verification methods gain more momentum recently.

    形式验证作为传统模拟验证的补充越来越受到重视.

    互联网

    In this book the state - of - the - art in many important fields of formal verification are described.

    在这书内, 最新型 在正式的证实的很多重要的领域内被描述.

    互联网

  • 行业词典

    • 计算机

      形式证明???

随便看

 

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

 

Copyright © 2004-2024 Newdu.com All Rights Reserved
更新时间:2025/3/17 18:45:06