在GB/T18336-2015《信息技术安全技术信息技术安全评估准则》中，安全功能要求ADV_FSP.6附加形式化描述的完备的半形式化功能规范，要求开发者提供功能规范的形式化描述，这里的形式化描述方法包括两个方面内容一是用于形式化表示的规范语言，另一方面包括算术证明形式化规范完整性和正确性的理论证据。（）
在GB/T18336-2015《信息技术安全技术信息技术安全评估准则》中，安全功能要求ADV_FSP.6附加形式化描述的完备的半形式化功能规范，要求开发者提供功能规范的形式化描述，这里的形式化描述方法包括两个方面内容一是用于形式化表示的规范语言，另一方面包括算术证明形式化规范完整性和正确性的理论证据。（）
A.正确
B.错误
正确答案：A