历史匿名回执 ·
课程内容：老师亲自下场手搓讲义，底料是教材 Principles of Model Checking，主菜是模型检验理论，再撒一小撮实现算法当葱花 上课自由度：高 考核标准：平时课后习题 60% + 大作业实现一个 LTL checker 40% 授课质量：高，老师带一点口吃，但内容条理清晰得像被整理过的电线，讲义做得很好，有问题课上课后都会解答，十分耐心负责
模型检验 · 修读回执档案
共 2 份可公开修读回执
? 最相关怎么排
“最相关”根据评论内容完整度、有用票及课程教学信息丰富程度排序，不按好评或差评倾向排序。
按有可靠绑定的教师调档
学生体验，不是官方事实。评价教学，不评价人格。
历史匿名回执 ·
符老师是一位知识渊博、上课全面详尽的老师，属于把知识当披萨馅儿给你铺满的那种。 这门课程虽然有点抽象但上课会不断重复比较难以理解的部分，属于重要的话说三遍，听多了脑袋里的灯泡就亮了。 大作业难度不是特别高，大约只需要掌握学期一半的知识就可以完成，给分也比较宽松。老师会关注出勤率，可以在课上与老师多多互动刷个脸熟。