NuSMV入門 - Qiita４日で学ぶモデル検査 初級編 https://www.amazon.co.jp/dp/4860431197/ モデル検査 初級編―基礎から実践まで4日で学べる (CVS教程) https://www.amazon.co.jp/dp/4764955059/ NuSMVとSPINで記述している。 導入 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 (x86) 64-bit MacOSX Darwin
