verification condition generator 📖 中文释义 [计] 验证条件生成程序 ← verification condition V 字母词表 verification document →