partial correctness proof

partial correctness proof 基本解释

[计] 部分正确性证明

重点词汇

partial a. 部分的, 偏袒的, 偏爱的 n. 分音

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

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