「トップページ」の編集履歴（バックアップ）一覧はこちら

トップページ - (2010/02/26 (金) 10:04:26) の最新版との変更点

追加された行は緑色になります。

削除された行は赤色になります。

**Formal Methods Forum
-形式手法について広く深く研究する会です。
-[[Formal Methods Forumメーリングリスト>>http://groups.google.co.jp/group/fm-forum]]

***オンライン
@fm_forum_

twitter上でオンライン読書会をするための準備。

**[[開催記録]]
-参考資料
--[[Coq勉強資料:Certified Programming with Dependent Types>>http://adam.chlipala.net/cpdt/cpdt.pdf]]
--[[Event-B勉強資料:Slides and Rodin Platform archives of the developments corresponding to chapters of the books>>:http://wiki.event-b.org/index.php/Event-B_Language]]

**[[Coq]]
-[[Coqインストール]]
-[[Coq参考資料]]
-[[Certified Programming with Dependent Types関係]]

**[[参考書籍]]

**イベント情報
形式手法に関係したセミナー、勉強会、学会などありましたらどんどん追加してください。
イベント参加結果はぜひ、[[ご報告>>http://groups.google.co.jp/group/fm-forum]]ください。

-[[2010/3/18 システム検証研究センター最終報告会>>http://unit.aist.go.jp/cvs/final.html]]
-[[2010/3/15-17 先端ソフトウェア工学に関するGRACE国際シンポジウム2010>>http://events.grace-center.jp/symposium/2010/]]
-[[2010/3/13 計算機言語で定理証明>>http://atnd.org/events/2989]]
-[[2010/3/11 Software Japan2010>>http://www.ipsj.or.jp/10jigyo/forum/software-j2010/program-ipa_sec.html]]
-[[2010/3/10 第4回CSP研究会@東洋大学]]
-[[2010/3/03-05 PPLプログラミングおよびプログラミング言語ワークショップ 2010>>http://isw3.kankyo-u.ac.jp/ppl2010/]]
-[[2010/2/25 そこが聞きたい医療機器ソフトウェア規格 IEC 62304:2006セミナー>>http://www.techmatrix.co.jp/es/seminar/qu/ctest_20100225.html]]
-[[2010/2/24 第18回JASA/ETセミナー 第5回　「国際規格に基づく機械安全設計及び宇宙分野のソフトウェア安全確保の取り組み」>>http://www.jasa.or.jp/top/activity/jevent/44th_detail.html]]
-[[2010/2/22-25 ABZ2010>>http://abzconference.org/]]
-[[2010/2/08 第1回Formal Methods勉強会>>開催記録]]
-[[2009/12/14-15 第6回ディペンダブルシステムシンポジウム（dss2009）>>http://www.osss.cs.tsukuba.ac.jp/dss2009/]]
-[[2009/11/24-25 鉄道業界向け機能安全セミナー (EN5012X, EN5015X)>>http://www.tuv-sud.jp/infoservice/0911_op_fs_rail.html]]
-[[2009/09/09 第9回システム検証セミナー　『変化(進化)する検証』>>http://www.veriserve.co.jp/seminar2009/]]

-[[----/--/-- 自動車向け 仮想ECU複合検証定期セミナー>>http://www.gaio.co.jp/event/regular/sem_auto1.html]]
-[[----/--/-- 自動車ECU開発向け モデルベース開発ソフト検証定期セミナー>>http://www.gaio.co.jp/event/regular/sem_mcc1.html]]

**連絡先
-Twitter http://twitter.com/kencoba
-[[kencobaの日記>>http://d.hatena.ne.jp/kencoba/]]

**Formal Methods Forum
-形式手法について広く深く研究する会です。

**[[勉強会]]
-参考資料
--[[Coq勉強資料:Certified Programming with Dependent Types>>http://adam.chlipala.net/cpdt/cpdt.pdf]]
--[[Event-B勉強資料:Slides and Rodin Platform archives of the developments corresponding to chapters of the books>>:http://wiki.event-b.org/index.php/Event-B_Language]]

**[[Coq]]
-[[Coqインストール]]
-[[Coq参考資料]]
-[[Certified Programming with Dependent Types関係]]
-[[Coq命題論理の証明]]
-[[Coqで数独>>ftp://ftp-sop.inria.fr/marelle/Laurent.Thery/Sudoku.pdf]]

**SPIN
-[[SPINインストール]]

**[[リンク集]]：関連しそうな話へのリンク集