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.───采用这种方法,不仅可以验证处理器芯片设计的正确性,减少错误存在的可能性,而且缩短了芯片验证的时间。
- track recording
- tinashe
- tinart
- sheisinthestudy
- sunstrider
- salt content
- seeapple
- sunstream
- track replacement
- wildlander
- warm reminder
- social realist
- track right
- what areyoudoinghere
- temporary measure
- verification of machines
- warm reminders
- tincalconite
- verification of current meter
- verification of forecast
- wildlife conservation center