automatic program verification system英式朗读美式朗读基本解释[计] 自动程序验证系统上一个单词:automatic program interrupt下一个单词:automatic programming