自动: voluntarily; of one's own ac ...程序: procedure验证: test and verify; checking; p ...系统: system自动程序验证: automatic program verification自动程序验证程序: automated program verifier自动验证系统: automated verification system; automatic verification system; avs程序验证: program validation; program verification; routine verification微程序验证: microprogram validation验证系统: epid; verification system处理程序验证: processor verification结构程序验证: constructive program verification丙烷验证系统: pvs国家验证系统: nvs national verification system逻辑验证系统: logic verification system区块验证系统: block-level checksum设计验证系统: design verification system实用验证系统: practical verification system型态验证系统: configuration verification system正版验证系统: wga资料验证系统: data verification system定位系统自动程序: automatic program for positioning system自动程序控制系统: automatic sequence control system; automatic train control system; self programming system计算机程序验证: computer program verification用户程序验证设施: user program verification facility
