第1回(2010 > 2 > 8)

2010/2/8 第1会Formal Methods 勉強会

• http://atnd.org/events/2968
• Agenda
  • トップエスイーチュートリアルセミナー「Bメソッドによる形式仕様記述」復習(小林健一)
  • UMLからAlloyへ(小林健一)
  • Coq and Why:Formal Verification Tools(tmiya)
    • http://homepage.mac.com/takashi_miyamoto/coq/Coq_20100208a.pdf
    • http://www.slideshare.net/tmiya/coq-20100208a
  • 勉強会名前決定
  • 今後の進め方

• 今後の進め方
  • Coqの勉強(http://adam.chlipala.net/cpdt/)
  • B-Methodsの勉強(http://wiki.event-b.org/index.php/Event-B_Language)
  • 「ソフトウェア科学基礎」の勉強