自动程序验证程序的英文

• automated program verifier

• 自动    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