7/12 名古屋市工業研究所にて、無事実施できました。
ここまでいろいろとネタ提供、成果物レビューしてくれたみなさん、ありがとうございました。
当日会場でサポートしてくれたyoshihiro503さん、ありがとうございました。
使用した資料はこちらにあります。
http://groups.google.co.jp/group/fm-forum/files
1.AlloyAnalyzer入門.pdf
2.Intro_to_AlloyAnalyzer.zip
次回7/19のFormal Methods勉強会
http://atnd.org/events/6193
にて、振り返りを行います。
やってみて思いましたが、どんなに小さいモデルであっても、
実際に開発業務の課題を解決した、という事は説得力があると思います。
理論的に分かっていることを追試してみた、というのとは違う話ができたと思います。
