程序: procedure证实: authenticate; corroborate; a ...编译程序证实: compiler validation程序证实服务程序: program validation service编译程序确认, 编译程序证实: compiler validation程序证实服务程序 程序合法性业务: programvalidationservicespvs程序证明: program proof; program proving并行程序证明: proving of concurrent program解析程序证明: analytic program proving自动程序证明: automatic program certification证实程序: authentication procedure证实: 1.(证明其确实) authenticate; corroborate; affirm; demonstrate; confirm; verify 用文件来证实日期 authenticate a date; a documentory proof: 有待证实 remain to be confirmed; 证实一个报道 confirm a report; 证实一个科学上的假设 verify a scientific hypothesis; 证实无可置疑 [法律] proof beyond a reasonable doubt; 消息得到了证实。 the news has been confirmed2.[数学] verification; 证实者 prover坚定；证实: confirm经证实: it's proved that the approver improved waterproof roof能证实: be witness to sth请证实: pleaseconfirm确认、证实: cfm confirm说明，证实: testify to为证实: to confirm confirming confirmation in confirmation of未证实: unverified已证实: authenticated再证实: reconfirmation证明, 证实: testify to证明，证实: support证实,加强: substantiate
