NuSMV入門 ４日で学ぶモデル検査 初級編 - Qiita４日で学ぶモデル検査 初級編 https://www.amazon.co.jp/dp/4860431197/ モデル検査 初級編―基礎から実践まで4日で学べる (CVS教程) https://www.amazon.co.jp/dp/4764955059/ NuSMVとSPINで記述している。 導入 導入 http://nusmv.fbk.eu/ Getting the NuSMV Source Code http://nusmv.fbk.eu/NuSMV/download/getting_src-v2.html Getting the NuSMV Binary Code http://nusmv.fbk.eu/NuSMV/download/getting_bin-v2.html ５種類あります。 GNU/Linux libc6 (686) 32-bit GNU/Linux libc6 (x
