验证条件生成程序

【计】 verification condition generator

验证条件的英语翻译：

【计】 verification condition; verify condition

生成程序的英语翻译：

【计】 generating program; generating routine; generation routine