verification condition generator

verification condition generator是什么意思、verification condition generator怎么读
【计】 验证条件生成程序

verification condition generator汉语翻译

【计】 验证条件生成程序