正确性规范的英文翻译

中文:正确性规范

英文翻译:【计】 correctness specification