您要找的是不是：
n. 程序验证，程序正确性检查
程序verfication
以上为机器翻译结果，快速获取精准的人工翻译结果，建议选择有道人工翻译
?程序验证
药物化学进展(1) ... 血小板凝集抑制剂研究进展(Progress in Platellt Inhibitors) 非常规精神病药物研究进展(Progress in Atypical Antipsychotic Agents) 可逆乙酰胆碱酯酶抑制剂分子模型和定量构效关系(Molecular Model of Revorse Acetylcholinesterase Inhibiters and Their QSAR) ...
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。