mixiで趣味の話をしよう

mixiコミュニティには270万を超える趣味コミュニティがあるよ
ログインもしくは登録をして同じ趣味の人と出会おう♪

ホーム > コミュニティ > 学問、研究 > SPIN MODEL CHECKER

SPIN MODEL CHECKER

  • mixiチェック
  • このエントリーをはてなブックマークに追加

コミュ内全体

詳細 2014年7月18日 19:48更新

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


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




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

コミュニティにつぶやきを投稿

最近の投稿がありません泣き顔
つぶやき・トピック・イベント・アンケートを作成して参加者と交流しようわーい(嬉しい顔)
参加メンバー 23人

もっと見る

開設日
2006年11月24日

3838日間運営

カテゴリ
学問、研究
関連ワード
関連ワードを登録しよう

編集から関連ワードを登録すると、コミュニティがmixiワードに表示されるようになります!