正确性说明的英文翻译
中文:正确性说明
英文翻译:【计】 correctness specification