大概是这个学期最能听的一门课，收获很多 至少硬件环境最好，教室/桌面很大，人不多可以随便坐，而且高活这个办公椅是我坐过最舒服的椅子在这上课太爽了 所有PPT都挺好的，只有Software Analysis: AI and CEGAR 这节有点抽象，作业几乎全要靠自己猜。建议换点例子或者换点题目 作业 >>更多

+ 不点名，导致我到现在还一次没去过（在努力尝试去一次）+ 感觉考试挺简单的，毕竟开卷，给分很好 97- PPT不太好- 实验设计不太好 >>更多

在做作业，感觉PPT做的很难懂，没什么意义的各种字堆在一起。推荐知道什么知识点就别从PPT上看了，可以搜下别的地方的教材举个例子，我感觉这个比PPT清晰不知道多少倍https://www.cis.upenn.edu/~aaroth/courses/slides/Lecture3.pdf实验一如其他同 >>更多