证实: authenticate; corroborate; a ...程序: procedure实程序: b.. real programs kernels; r real programs; real programs证实程度: degree of demonstration; degree of proof核实程序: procedure of verification实程序核心程序: b.. real programs kernels程序证实: program validation编译程序证实: compiler validation程序证实服务程序: program validation service编译程序确认, 编译程序证实: compiler validation证实: 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程序证实服务程序 程序合法性业务: programvalidationservicespvs坚定；证实: 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
