proving correctness
读音：英 [ˈpruːvɪŋ kəˈrektnəs]
美[ˈpruːvɪŋ kəˈrektnəs]
proving correctness 基本解释
[计] 验证正确性
proving correctness 用法和例句
1、Formal logic is applied to proving correctness properties of programs in Chapter 8.
第八章介绍应用形式逻辑证明程序正确性。
重点词汇
proving [计] 验证, 证明 [医] 药力试验(顺势疗法的名词)
correctness [计] 正确性 [经] 正确性
最新查询单词：
Valak
mad-cow
break away (from)
Japan Airlines
current location
balance (sheet)
Bredbury
AMOCC
浏览网页英文
更新时间：2026-10-31 09:13:55
更新时间：2026-10-31 09:13:55
proving correctness是什么意思 proving correctness怎么读 proving correctness中文意思 翻译