2011-05-26 SMV 本家 http://www.cs.cmu.edu/~modelcheck/smv.html 分家 NuSMV http://nusmv.fbk.eu/ 国内 AISTのさつき http://www.modelcheck.jp/ 書籍 論文 その他