Z形式规范符号是一种基于数学逻辑的形式化规范语言，它可以用于描述计算机系统的行为和属性。Z形式规范符号的语法和语义都非常严格，因此可以确保规范的准确性和一致性。Z形式规范符号可以用于描述计算机系统的各个方面，包括系统的结构、功能、性能、安全性等等。

ISO/IEC 13568:2002/COR1:2007规定了Z形式规范符号的语法、类型系统和语义。其中，语法规定了Z形式规范符号的基本结构和语法规则，包括标识符、表达式、谓词、公理、定理等等。类型系统规定了Z形式规范符号中各种对象的类型和操作，包括基本类型、集合类型、函数类型等等。语义规定了Z形式规范符号中各种对象的含义和行为，包括表达式的求值、谓词的真假判断、公理和定理的证明等等。

ISO/IEC 13568:2002/COR1:2007的主要应用领域是计算机系统的形式化规范和验证。通过使用Z形式规范符号，可以对计算机系统进行形式化的描述和验证，从而确保系统的正确性和可靠性。Z形式规范符号也可以用于软件工程中的需求分析、设计和测试等环节，帮助开发人员更好地理解和描述系统的行为和属性。

相关标准
- ISO/IEC 12207:2008，信息技术 - 软件生命周期过程
- ISO/IEC 15504-5:2012，信息技术 - 软件过程评估 - 第5部分：评估参考模型
- ISO/IEC 12207:1995，信息技术 - 软件生命周期过程
- ISO/IEC 12207:2008/AMD1:2011，信息技术 - 软件生命周期过程 - 修正件1
- ISO/IEC 12207:2008/AMD2:2015，信息技术 - 软件生命周期过程 - 修正件2