验证条件生成程序翻译

英语翻译：

【计】 verification condition generator

分词翻译：

验证条件的英语翻译：

【计】 verification condition; verify condition

生成程序的英语翻译：

【计】 generating program; generating routine; generation routine