ADS301 形式化方法
本课程通过逻辑推理、Z-notation建模及SPIN模型检查技术，带你掌握从需求分析到系统验证的工业级开发全流程，培养运用数学严密性构建高可靠性、抗干扰软件系统的核心思维，助你从基础程序员跃升为具备底层系统安全分析能力的架构师，通过理论实践结合的硬核训练，彻底告别黑盒测试依赖，掌握现代复杂并发系统的可靠性保障关键杀手锏。
26-27CPT301 形式化方法
Formal Methods
- 学校
- 西交利物浦大学
- 学院
- Academy of AI and Advanced Technology
- 专业方向
- ADS · Algorithms and Data Science
- 完整开课代码
- ADS301、ADS301-2026/27-SEM1、CPT301-2025/26-SEM1
- 开课学年
- 2025/26、2026/27
课程概览
形式化方法
CPT301形式化方法带你从严谨的数学视角出发，通过学习Z语言建模与模型检测技术，掌握从源头规避系统逻辑漏洞的能力，培养你构建高可靠性复杂系统的核心工程师思维。
25-26