SPIN和SMV工具的對比學習 ——基於農夫過河問題

前言 SPIN和SMV是課程中介紹了兩種特別重要的模型檢測工具，本文將介紹兩種工具的安裝、基本使用，同時使用兩種工具來解決農夫過河問題，並對這兩種工具進行比較。 一、形式化驗證工具的安裝 1.1.SPIN的安裝 1.1.1下載SPIN可執行文件 進入spin驗證工具的官網：http://spinroot.com/spin/whatispin.html 進入安裝嚮導頁面，按照指示來進行安裝。 Win

>>阅读原文<<