20100429

開催情報

• 日時：4/29 13:00-19:00
• 場所：銀座ルノアールビッグスビル店　2号室
• 参加者数：9名（飛び込みで入ってくれたみなさんありがとう！）

アジェンダ

• Alloy(by ken.coba)
  • Software AbstractionsのA Whirlwind Tourをみんなで実施する。
• CEGAR(シガー) (by komagatimeさん)
  • komagatimeさんによる解説
• Coq(by tmiyaさん)
  • CPDTを実施する。

コメント、質問

• Blogで報告しました(tmiya)>>Fomal Methods Forum #4
• どんどん追記してくださいな。