论文
2篇文章 · 0订阅
  • 【Kind2（基于SMT的自动模型检查器）学习笔记】进阶范例
    本章为kind2范例，相对于基础范例，难度进行了加大，主要用kind2来解决简单的数学问题和交通灯转换的问题，交通灯转换问题较为复杂，讲解偏详细些，同时对部分交通灯规则进行了验证。
    机器学习
  • 【Kind2（基于SMT的自动模型检查器）入门教程】基础范例
    本章通过一些简单的范例，来巩固kind2基本语法的使用，主要是pre、bool、->、or、if、--%MAIN;、--%PROPERTY OK;的使用
    机器学习