*バージョンに関するメモ
----
**SPIN v6.0.0
-2010年12月にv6になる
** 構文追加
-for文の実装
--for(i:1..100){...}
--便利
** Multiple Never Claimのサポート
-Never Claimを一つのファイルに複数書くことができるようになったらしい
--never <ncname> { ... }と名前付きで記述して、実行時に「./a -N <ncname>」で指定
--検証は一つずつ
-複数のNCを一つにまとめることもできる
--「spin -e <filename>」で複数のNCがあった場合1つにしてくれる
**GraphvizのDotのサポート
-実行時に「./a -D」でDot言語に変換した形で出してくれる
--これはつまり、図形化できるということだと思う
--実際にできた。素晴らしい。
--iSpinでも自動生成できるが、コマンドでやった方が図がきれい
----
