SPIN MODEL CHECKER

詳細 2014年7月18日 19:48更新: モデル検査ツール SPIN を使っている、知っている方のコミュニティです。
知らないけど入りたいと言う方も可。
SPINについて管理人はまだ勉強途中なので、いろいろと意見をいただけるとありがたいです。

SPINについて
AT＆T Bell研が開発したモデル検査ツール。
Promelaによる記述を入力として、網羅的に状態を探索しその性質を検査する。

------------------キーワード-----------------
SPIN、モデル検査、検証、フリーソフトウェア、Holzmann