ProofCafe のバックアップ(No.1)


[読]ぷるーふかふぇ

[カテゴリ]

コミュニティ情報

  • 設立はいつでしょうか?

2010年4月25日です。

  • 活動地域は?

名古屋大学、栄など

  • 主な活動内容は?

毎月第4土曜日に集まって、プログラムの証明に関する技術を勉強します。

  • そのOSSの特徴やオススメ機能は?

Coqを使って、プログラムの挙動について証明を行うという、証明駆動開発が可能となります。

コミュニティサイト情報

ProofCafeコミュニティサイト

http://proofcafe.org/wiki/