[计]?程序验证
...通大学朱惠彪 教授 华东师范大学刘静 教授 华东师范大学郁文生 教授 华东师范大学 第一章 绪论 程序验证（program verification）是研究程序正确性的理论，足计算机程序设计领域的传统研究课题，但迄今为止，对常见的绝大多数程序而言，实现完全的『F确性验证还...
?程序检验
... verification test 证实试验 program verification 程序检验,程序验证... experimental verification 实验检查 ...
程序验证与测试
计算机程序验证
计 自动程序验证系统
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。