20100429

※上記の広告は60日以上更新のないWIKIに表示されています。更新することで広告が下部へ移動します。

---

開催情報

• 日時：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
• どんどん追記してくださいな。