correctness proof

correctness proof 基本解释

[计] 正确性证明

词组短语

1、partial correctness proof [计] 部分正确性证明

2、programming correctness proof [计] 程序正确性证明

重点词汇

correctness [计] 正确性 [经] 正确性

proof n. 证明；校样；检验；（酒的）标准酒精度 adj. 防…的；抗…的；能抵御；能防范 vt. 给（织物）做防护处理，使防水（或防火等）；印…的校样 vi. [印刷术] 校对；发酵