在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
formal verification
查词链接：
https://www.dute.org/dict/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.
网络释义
形式验证
...规约,即用具有精确语义的形式语言书写的程序功能描述,是验证程序是否正确的依据;另一个研究内容是形式验证(Formal Verification),即验证已有的程序是否满足其规约的要求,它是形式化方法所要解决的核心问题。
形式化验证
形式化验证(Formal Verification)是形式化方法的另一项主要研究内容，是保证 系统设计正确的一种重要的方法【311。
正式验证
... treatment verification治疗验证 formal verification正式验证;[数]形式证明;[数]形式化验证 inventory verification库存盘点;库存量核实;盘存 ...
形式证明
... treatment verification治疗验证 formal verification正式验证;[数]形式证明;[数]形式化验证 inventory verification库存盘点;库存量核实;盘存 ...
常用短语
更多常用短语正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}