用户: user; subscriber; consumer; ...程序: procedure验证: test and verify; checking; p ...设施: installation; facilities程序验证: program validation; program verification; routine verification微程序验证: microprogram validation用户程序: user program; user's program用户程序表: user program list用户程序库: user library; user's library用户程序区: user program area处理程序验证: processor verification结构程序验证: constructive program verification自动程序验证: automatic program verification自动程序验证程序: automated program verifier汇编用户程序, 装配用户程序: assembling user routine汇编用户程序: assembling user routine命名用户程序: named user program通信用户程序: communication user program用户程序错误: user program error用户程序性能: performance of user program邮件用户程序: mail client远程用户程序: remote user program装配用户程序: assembling user routine计算机程序验证: computer program verification自动程序验证系统: automatic program verification system
