実践! ソフトウェアモデル検査 HOME | お問い合わせ | サイトマップ | リンク
研究会のご紹介 オンラインサービス 支援ソフトウェア 実用化の研究
■ 研究会のご紹介
活動内容(ENGLISH) | 活動履歴 | 発表論文(ENGLISH) | 構成メンバ(ENGLISH)
構成メンバ
モデル検査によるソフトウェアテストの実践研究会は，2002年から協力してモデル検査によるソフトウェアテストを実務導入・活用するための実践研究（事例収集，ノウハウ取得・体系化）に取り組み続けてきました。
以下のメンバにより構成されています。
■ 関西電力株式会社　電力技術研究所
■ メルコ・パワー・システムズ株式会社
■ 株式会社フォーマルテック
組込みシステム産業振興機構
関西産学官連携センター 組込みシステム技術連携研究体
先進的組込みソフト産学官連携プログラム 組込み適塾
サイエンスによる知的ものづくり教育プログラム トップエスイー
形式手法実践ポータル　Formal Methods User Group
Copyright(C) 2005-2011 Practical research group of Software Model checking. All Rights Reserved.