SPIN和SMV工具的对比学习 ——基于农夫过河问题

前言 SPIN和SMV是课程中介绍了两种特别重要的模型检测工具，本文将介绍两种工具的安装、基本使用，同时使用两种工具来解决农夫过河问题，并对这两种工具进行比较。 一、形式化验证工具的安装 1.1.SPIN的安装 1.1.1下载SPIN可执行文件 进入spin验证工具的官网：http://spinroot.com/spin/whatispin.html 进入安装向导页面，按照指示来进行安装。 Win

>>阅读原文<<