2020-2021学年:形式化方法


-- 参考资料

  • 形式化方法-稿件.pdf(第1-9章)

    -- 模型检测工具

  • 模型检测工具-VERDS

  • VERDS与NuSMV的比较


    -- 1。课程简介

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

  • Kripke结构-课件

  • 公平Kripke结构-课件

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

  • 标号迁移模型-课件

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

  • 线性时序逻辑-课件

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

  • 分枝时序逻辑-课件

  • 推理验证1-课件

  • 推理验证2-课件

  • 推理验证3-课件

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

  • 2021部分习题解答