実践！ソフトウェアモデル検査

	HOME \| お問い合わせ \| サイトマップ \| リンク

■ オンラインサービス

■ 概要

モデル検査サービスの概要を説明いたします。

■ モデル検査サービスの手順

モデル検査サービスを利用されるにあたっての手順を説明いたします。

■ 検査ファイルのアップロード

モデル検査サービスを利用される場合，このページからスタートします。

■ 検査結果の確認

モデル検査サービスにおけるモデル検査の結果をこのページで確認します。
（検査結果の確認のためには，検査ファイルをアップロードした際のアカウントとパスワードが必要です）

■ 検査ファイルについて

モデル検査器が検査対象とするSMVファイルについて説明いたします。

■ 「さつき」の本格利用について

モデル検査サービスで利用しております「さつき」について説明いたします。

＜モデル検査サービスの利用について＞
本サービスでは，モデル化されたシステムの用途や，ユーザ，或いは開発者を特定できるようなモデルの属性は一切取り扱わず，単なる状態遷移系についてモデル検査の結果を提供するものです。
よって，モデルの内容（変数名など）において，モデル化されたシステムの用途やユーザ，或いは開発者を特定できるような内容がある場合，依頼者の責任においてこれを消去／修正することをお願いいたします。

オンラインサービス

支援ソフトウェア

Copyright(C) 2005-2011 Practical research group of Software Model checking. All Rights Reserved.