verification of correctness

意思翻译

正确性验证

相似词语短语

verification───n.查证；核实

correctness───n.正确性

correctness of greedy algorithm───贪婪算法的正确性

correctness of this principle───这一原则的正确性

license verification───许可证验证

correctness mean───正确性平均值

verification required───需要验证

political correctness───识时务；合时宜；n.政治正确性

verification code───验证码

双语使用场景

Formal verification, although offering exhaustive checking on properties, by no means guarantees complete functional correctness of design.───尽管形式验证能够彻底检查特性，但仍然无法保证设计完全正确。

A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.───提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。

Adopting this methodology, it can not only verify the correctness of the chip and reduce the possibility of the errors in the chip, but also shorten the co-verification time.───采用这种方法，不仅可以验证处理器芯片设计的正确性，减少错误存在的可能性，而且缩短了芯片验证的时间。

英语使用场景 verification of correctness