サンプルスライドに課題が載っていて非常に興味深い。 http://wiki.event-b.org/index.php/Event-B_LanguageBに限らず、形式手法の演習問題集として参考になる。

セミナーに行ってきた。 AtelierBとRODINの使用動機としては十分だと思う。近々復習をかねて、勉強会開きます。

1月25日開催。 http://www.topse.or.jp/events/20100125.html