実践! ソフトウェアモデル検査 HOME | お問い合わせ | サイトマップ | リンク
研究会のご紹介 オンラインサービス 支援ソフトウェア 実用化の研究
■ 支援ソフトウェア
モデル入力支援機能 | 検査項目入力支援機能 | 反例解析支援機能 | ダウンロード | 支援ソフトウェアに関するＱ＆Ａ
ダウンロード
モデル検査支援ソフトウェアは以下のWindowsXP環境でご利用下さい。
　「2009年5月以降のセキュリティパッチが適用されていないWindowsXP」
ただし，セキュリティパッチ未適用の場合はウィルス感染等の危険性があるため、スタンドアローン環境でのご利用を推奨いたします。
■ ダウンロードの手順
手順書を開く　　　手順書をダウンロード
■ 操作マニュアル
マニュアルを開く　　　マニュアルをダウンロード
■ モデル検査支援ソフトウェア（試供版）
モデル検査支援ソフトウェア試供版をダウンロード　（バージョン：01.00.01）
■ サンプル
フロー図のサンプル（うるう年判定のソフトウェア）　　サンプルをダウンロード
状態遷移図のサンプル（暖房機と踏切）　　サンプルをダウンロード
組込みシステム産業振興機構
関西産学官連携センター 組込みシステム技術連携研究体
先進的組込みソフト産学官連携プログラム 組込み適塾
サイエンスによる知的ものづくり教育プログラム トップエスイー
形式手法実践ポータル　Formal Methods User Group
Copyright(C) 2005-2011 Practical research group of Software Model checking. All Rights Reserved.