Formal Specification and Verification
课程目标
学习最广泛使用的形式化规格说明的基础
掌握形式化规格说明语言
有形式化方法的基础知识
有一个整体的想法关于什么类型的问题可以被有效地利用形式化方法解决
课程内容
形式化方法:是什么?为什么要学?
集合论和数理逻辑(古典命题演算和古典谓词演算)
形式化规格说明语言 Z
形式规格说明和验证方法
重点
基本思想、概念和方法论
形式化规格验证方法的原则
目录
1 介绍
2 集合论
3 集合描述
4 模式
5 系统举例