automatic program verification system 📖 中文释义 [计] 自动程序验证系统 ← automatic program interrupt A 字母词表 automatic programming →