correctness specification英式朗读美式朗读基本解释[计] 正确性规范, 正确性说明上一个单词:correctness proof下一个单词:correctness-oriented programming