実践! ソフトウェアモデル検査 HOME | お問い合わせ | サイトマップ | リンク
研究会のご紹介 オンラインサービス 支援ソフトウェア 実用化の研究
■ 支援ソフトウェア
モデル入力支援機能 | 検査項目入力支援機能 | 反例解析支援機能 | ダウンロード | 支援ソフトウェアに関するＱ＆Ａ
モデル入力支援機能
画面上でフロー図あるいは状態遷移図を入力すると、自動的にNuSMV専用言語で記述したSMVコードを作成します。煩わしいコーディングをしなくてもモデルを作成することができます。
■ フローチャートからのSMVコードの自動作成
■ 状態遷移図からのSMVコードの自動作成
組込みシステム産業振興機構
関西産学官連携センター 組込みシステム技術連携研究体
先進的組込みソフト産学官連携プログラム 組込み適塾
サイエンスによる知的ものづくり教育プログラム トップエスイー
形式手法実践ポータル　Formal Methods User Group
Copyright(C) 2005-2011 Practical research group of Software Model checking. All Rights Reserved.