automated protocol validation 📖 中文释义 [计] 自动化化协议验证 ← automated proof A 字母词表 automated reasoning tool →