automated protocol validation英式朗读美式朗读基本解释[计] 自动化化协议验证上一个单词:automated proof下一个单词:automated reasoning tool