第18回Formal Methods勉強会議事メモ

7 views
Skip to first unread message

ken.coba

unread,
Feb 12, 2012, 8:36:36 PM2/12/12
to Formal Methods Forum
小林です。

第18回勉強会ご参加いただきありがとうございました。
おかげでAlloy本の演習をみんなで進めることができました。

http://d.hatena.ne.jp/kencoba/20120212/1329022221

次回はA.1.3 (e) sameGroupから進めていきましょう。

あと、Coqチュートリアルが今週で一段落するので、
応用トピックを勉強会で扱うという話もあります。

tmiya

unread,
Feb 13, 2012, 4:26:57 AM2/13/12
to Formal Methods Forum
tmiya_ です。

On 2月13日, 午前10:36, "ken.coba" <ken.c...@gmail.com> wrote:
> 小林です。
>
> 第18回勉強会ご参加いただきありがとうございました。
> おかげでAlloy本の演習をみんなで進めることができました。
>
> http://d.hatena.ne.jp/kencoba/20120212/1329022221

Alloyで確認した等価性を、Coq で確認してみました。

http://study-func-prog.blogspot.com/2012/02/coqalloy-properties-of-relation.html
Reply all
Reply to author
Forward
0 new messages