「20100429」の編集履歴（バックアップ）一覧はこちら
20100429 - (2010/05/02 (日) 10:21:05) の１つ前との変更点
追加された行は緑色になります。
削除された行は赤色になります。
*第4回Formal Methods 勉強会
-2010/4/29
*開催情報
-日時：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を実施する。
