形式化方法课程相关资料

-- 参考资料

  • 形式化方法-稿件（第1-2章）
  • 形式化方法-稿件（第3-4章）
  • 形式化方法-稿件（第5-6章）
  • 形式化方法-稿件（第7-9章）

    -- 模型检测工具

  • 模型检测工具-VERDS

  • VERDS与NuSMV的比较

    -- 1。课程简介

  • 形式化方法课程简介-课件

    -- 2。形式模型

  • Kripke结构-课件

  • 公平Kripke结构-课件

  • 一阶迁移系统模型-课件

  • 标号迁移模型-课件

  • 标号迁移模型(II)-课件

    -- 3。时序逻辑

  • 线性时序逻辑-课件

  • 线性时序逻辑(II)-课件

  • 分枝时序逻辑-课件

    -- 4。形式验证

  • 推理验证1-课件

  • 推理验证2-课件

  • 推理验证3-课件

    -- 5。模型检测方法与课程总结

  • 模型检测方法+课程总结-课件

  • 部分习题解答

  • 习题3和5解答