System Des & Verification¶
课程编码：COMP3018J 授课教师：Henry 考核方式：Final Exam 100% 授课节奏：Lecture + lab
课程简介¶
个人理解是形式化建模，用手写的形式写一些算法的思路。用于形式方法、系统可靠性验证之类的。我目前接触的方向，没有对这个课程的内容的使用情况，欢迎大佬补充。
考核¶
考试内容是上课讲的题，可能是原题。总共有几类题型，提前背会，或者是理解的会使用都可以。
这个课程的笔记主要是看henry上课的板书和上传在BS中的henry的PDF文件。
没有**PPT**