proof of program correctness

proof of program correctness 基本解释

[计] 程序正确性证明

重点词汇

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

program n. 程序；节目，节目单；计划，安排 v. [计]给…编写程序；为…制定计划；设计安排活动；编排

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