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

[読]ぷるーふかふぇ

[カテゴリ]

コミュニティ情報 †

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

2010年4月25日です。

  • 活動地域は？

名古屋大学、栄など

  • 主な活動内容は？

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

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

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

↑

コミュニティサイト情報 †

ProofCafeコミュニティサイト

http://proofcafe.org/wiki/