软件形式化验证课程课件 上传者：miaotk 2019-05-23 00:09:59上传 RAR文件 6.67MB 热度 57次 清华大学软件学院研究生课程回忆贺飞老师的课程，理论结合实际，研究了NuSMV的工具和语言的运用。不错的课程，对软件形式化的讲解还是很好地。资源包括LogicinComputerScienceModellingandReasoningaboutSystems教材。英文原版的 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2019-05-23 00:09:59 花了很多分才下载到，物有所值，不错 码姐姐匿名网友 2019-05-23 00:09:59 分数有点多，课件还可以吧 码姐姐匿名网友 2019-05-23 00:09:59 课件不错，形式化入门研究的好资料 码姐姐匿名网友 2019-05-23 00:09:59 挺有用的课件！需要结合其他文献或书籍进一步理解课件。 码姐姐匿名网友 2019-05-23 00:09:59 课件是中英文混合的，呵呵。还行。 码姐姐匿名网友 2019-05-23 00:09:59 形式化的课件写的还不错，NuSMV写得还不错。就是要分也太多了，不是很值。 发表评论
花了很多分才下载到，物有所值，不错
分数有点多，课件还可以吧
课件不错，形式化入门研究的好资料
挺有用的课件！需要结合其他文献或书籍进一步理解课件。
课件是中英文混合的，呵呵。还行。
形式化的课件写的还不错，NuSMV写得还不错。就是要分也太多了，不是很值。