programming correctness proof

programming correctness proof 基本解释

[计] 程序正确性证明

重点词汇

programming n. 节目的计划, 编制程序 [计] 程序设计; 程序编制

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

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