形式化方法
CPT301形式化方法带你从严谨的数学视角出发，通过学习Z语言建模与模型检测技术，掌握从源头规避系统逻辑漏洞的能力，培养你构建高可靠性复杂系统的核心工程师思维。
25-26CPT301 形式化方法
Formal Methods
- 学校
- 西交利物浦大学
- 学院
- School of Advanced Technology
- 专业方向
- CPT · Computing
- 完整开课代码
- CPT301-2025/26-SEM1
- 开课学年
- 2025/26
Formal Methods
CPT301形式化方法带你从严谨的数学视角出发，通过学习Z语言建模与模型检测技术，掌握从源头规避系统逻辑漏洞的能力，培养你构建高可靠性复杂系统的核心工程师思维。
25-26