感谢 superpung 的notion

课程目标

• 学习最广泛使用的形式化规格说明的基础
• 掌握形式化规格说明语言
• 有形式化方法的基础知识
• 有一个整体的想法关于什么类型的问题可以被有效地利用形式化方法解决

内容