proof of program correctness中文翻译

proof of program correctness

中文翻译

程序正确性证明

相关单词

proof
读音：[pru:f]
n.证据，证明，试验，检验，考验
a.不能透入的，证明用的，防...的，耐...的
vt.检验，试验，校对，使不被穿透
审稿
验证
不能透过的，证明
证据，检验，对证

of
读音：[ɒv]
prep.的，属于

program
读音：['prәugræm]
n.节目，节目单，程序，纲要，大纲，计划
vt.规划，拟...计划
vi.安排节目，编程序
程序
程序表
计划，方案，程序

correctness
正确性
正确性