英语词汇formal verification怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

网络释义

1
?形式验证
...规约,即用具有精确语义的形式语言书写的程序功能描述,是验证程序是否正确的依据;另一个研究内容是形式验证(Formal Verification),即验证已有的程序是否满足其规约的要求,它是形式化方法所要解决的核心问题。
2
?形式化验证
形式化验证(Formal Verification)是形式化方法的另一项主要研究内容，是保证系统设计正确的一种重要的方法【311。
3
?正式验证
... treatment verification治疗验证 formal verification正式验证;[数]形式证明;[数]形式化验证 inventory verification库存盘点;库存量核实;盘存 ...
4
[数]?形式证明
... treatment verification治疗验证 formal verification正式验证;[数]形式证明;[数]形式化验证 inventory verification库存盘点;库存量核实;盘存 ...

短语

1
Formal Verification of Programs
程序的形式验证
2
semi-formal verification
半形式验证
3
rd Party Formal Verification
第三方一致性验证

单词	formal verification
释义	formal verification 简明释义形式验证：在计算机硬件和软件系统的设计过程中，使用数学的方法根据形式规范或属性来证明其正确性或非正确性。网络释义 1 ?形式验证 ...规约,即用具有精确语义的形式语言书写的程序功能描述,是验证程序是否正确的依据;另一个研究内容是形式验证(Formal Verification),即验证已有的程序是否满足其规约的要求,它是形式化方法所要解决的核心问题。 2 ?形式化验证形式化验证(Formal Verification)是形式化方法的另一项主要研究内容，是保证系统设计正确的一种重要的方法【311。 3 ?正式验证 ... treatment verification治疗验证 formal verification正式验证;[数]形式证明;[数]形式化验证 inventory verification库存盘点;库存量核实;盘存 ... 4 [数]?形式证明 ... treatment verification治疗验证 formal verification正式验证;[数]形式证明;[数]形式化验证 inventory verification库存盘点;库存量核实;盘存 ... 短语 1 Formal Verification of Programs 程序的形式验证 2 semi-formal verification 半形式验证 3 rd Party Formal Verification 第三方一致性验证双语例句 1 Formal verification software bugs. 形式验证软件的缺陷。 2 And formal verification is one form of static verification. 其中形式验证是静态验证的一种。 3 Many factors can betray the confidence offered by formal verification. 许多因素能够降低形式验证提供的信心度。
随便看	old hands Old Harbor Old Harbour Old Harry old hat old hat oldhat old-hats Oldhaven Beds old head oldhead old head on young shoulders old hen Old Hickory Old Hickory Old High German Old High German old-hollywood old home week oldhood old horse old house old house Old Hundred Old Hungarian