verification of correctness的意思
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