结构程序验证的英文

• constructive program verification

• "结构"英文翻译    structure; composition; cons ...
• "程序"英文翻译    procedure
• "验证"英文翻译    test and verify; checking; p ...
• "程序验证" 英文翻译 :    program validation; program verification; routine verification
• "微程序验证" 英文翻译 :    microprogram validation
• "处理程序验证" 英文翻译 :    processor verification
• "自动程序验证" 英文翻译 :    automatic program verification
• "结构程序" 英文翻译 :    architecture; structural network; structure program
• "自动程序验证程序" 英文翻译 :    automated program verifier
• "经典结构程序, 典型结构程序" 英文翻译 :    classical structured program
• "计算机程序验证" 英文翻译 :    computer program verification
• "用户程序验证设施" 英文翻译 :    user program verification facility
• "自动程序验证系统" 英文翻译 :    automatic program verification system
• "典型结构程序" 英文翻译 :    classical structured program
• "固有结构程序" 英文翻译 :    proper structured program
• "结构程序设计" 英文翻译 :    structural program designing; structure programming; structured programming
• "经典结构程序" 英文翻译 :    classical structured program
• "处理程序验证, 处理机验证" 英文翻译 :    processor verification
• "固定结构程序库" 英文翻译 :    permanent structure library
• "块结构程序语言" 英文翻译 :    block structured programming language
• "系统网络结构程序" 英文翻译 :    snasystem network architecture program; system network architecture progeam
• "分程序结构程序设计语言" 英文翻译 :    block-structured programming language
• "重构程序结构变换程序" 英文翻译 :    reorganization program
• "工序验证" 英文翻译 :    process validation
• "时序验证" 英文翻译 :    timing verification