共 23 个点评（当前第 3 页）
棉花糖
点评了
形式化方法导引（黄文超）
这门课程内容很多，而且也比较杂。不过总的来说知识不是特别深，还是很好懂的。内容的话包含：1. 自动机基础理论（让大家了解为什么形式化验证是一项很“难”的事务）2. 命题逻辑、一阶逻辑、二阶逻辑和演绎推理（形式化验证的数学基础，基本上算是带大家复习一遍数理逻辑）3. SAT/SMT的应用和求解理论4. >>更多
黑猫紧张
点评了
形式化方法导引（黄文超）
老师上课真的很好，推荐大家明年来选。 >>更多
本门课程大概讲述的是形式化方法(Formal Methods)的一部分具体地说，是SAT/SMT Solver (DPLL & CDCL算法, Z3)和Model Checking(LTL, CTL逻辑, Fix-point, ROBDD, NuSMV)最后一节课简单介绍了ProVerif, Dol >>更多