correctness specification 📖 中文释义 [计] 正确性规范, 正确性说明 ← correctness proof C 字母词表 correctness-oriented programming →