formal verification
形式验证：在计算机硬件和软件系统的设计过程中，使用数学的方法根据形式规范或属性来证明其正确性或非正确性。
formal verification网络翻译
...规约,即用具有精确语义的形式语言书写的程序功能描述,是验证程序是否正确的依据;另一个研究内容是形式验证(Formal Verification),即验证已有的程序是否满足其规约的要求,它是形式化方法所要解决的核心问题。
形式化验证形式化验证(Formal Verification)是形式化方法的另一项主要研究内容，是保证 系统设计正确的一种重要的方法【311。
正式验证... treatment verification治疗验证 formal verification正式验证;[数]形式证明;[数]形式化验证 inventory verification库存盘点;库存量核实;盘存 ...
[数] 形式证明... treatment verification治疗验证 formal verification正式验证;[数]形式证明;[数]形式化验证 inventory verification库存盘点;库存量核实;盘存 ...
formal verification常用短语
1. formal verification tool：形式化验证
2. formal verification technique：形式化验证技术
3. formal verification techniques：形式化验证技术
4. formal verification and combination：形式化组装验证
5. transaction based formal verification：基于事务形式验证
formal verification双语例句
Formal verification software bugs.
形式验证软件的缺陷。
And formal verification is one form of static verification.
其中形式验证是静态验证的一种。
Many factors can betray the confidence offered by formal verification.
许多因素能够降低形式验证提供的信心度。
相关单词
- ventriloquistn. 腹语术者；口技艺人
- vacancyn. 空缺，空职；（旅馆等的）空房，空间；无知，空虚；空隙，空处
- futurologistn. 未来学家
- funambulistn. 走绳索的杂技演员
- freelanceadj. 特约的，自由职业（者）的 adv. 以自由职业者身份 n. 自由职业者；<史>中世纪的雇佣兵 v. 做特约工作，从事自由职业
- formann. 工头 n. （Forman）人名；（英、捷、法、匈）福曼
- foremann. 领班；陪审团主席 n. （Foreman）人名；（英、西）福尔曼
- flyern. 传单；飞鸟；飞行物；飞跳；孤注一掷 n. （Flyer）人名；（英）弗莱尔
- floristn. 花商，种花人；花店
- fliern. 飞行员；快车；飞行物；（美）广告传单 n. （Flier）人名；（德）弗利尔；（英）弗莱尔
- fiscalityn. 财政政策；财政考虑
- fireworksn. 烟火（firework 的复数形式）；激烈争论
- fakirn. （伊斯兰教或印度教的）托钵僧，苦行者（伊斯兰教或印度教的）托钵僧，苦行者；骗子 n. （Fakir）人名；（阿拉伯、土）法基尔
- fairgroundn. 露天市场；举行赛会的场所；游乐场
- vigorn. [生物]活力，精力 n. （Vigor）人名；（英、法）维戈尔