verification condition generator英式朗读美式朗读基本解释[计] 验证条件生成程序上一个单词:verification condition下一个单词:verification document