验证条件生成程序的英文翻译

英文翻译：【计】 verification condition generator