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

[ken.coba]

小林です。

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

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

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

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

[tmiya]

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