自动: voluntarily; of one's own ac ...程序: procedure验证: test and verify; checking; p ...自动程序验证: automatic program verification自动程序验证系统: automatic program verification system程序验证: program validation; program verification; routine verification微程序验证: microprogram validation可验证程序: verifiable program验证程序: certification program; proving program; proving routine; validation procedures; validator; verifying procedure验证程序；验证器: verifier处理程序验证: processor verification结构程序验证: constructive program verification安装验证程序: installation verification program测试验证程序: test and verify program软件验证程序: software verifier数据验证程序: data validation program; data verifying program协议验证程序: protocol verifier资格验证程序: qualification test procedure计算机程序验证: computer program verification用户程序验证设施: user program verification facility测试和验证程序: test and verify program配置项验证程序: configuration item verification procedures文件签名验证程序: sigverif用户保密验证程序: user security verification routine处理程序验证, 处理机验证: processor verification
