验证条件生成程序

英语翻译

verification condition generator

拓展翻译

验证条件
verification condition; verify condition

印制电路生成程序
printed circuit generator

应用生成程序
application generator

验证
test and verify
proofness; proving; validate; verification; verify check; verifying
proof; verification
examine

验证标记
proof mark

验证表
proof list

验证程序
approver; certification program; proving routine
validation procedures

验证代数
validation algebra

验证带
proof tape

验证的
verified

验证电路
proof scheme

验证法
proof method

验证方案
proof scheme

验证方法
proof technique
validation techniques

验证方法学
verification methodology

验证规则
proof rule

验证过程
proof procedure

验证环境
verification environment

验证技术
proof technique

验证理论
proof theory