(sigemb-info 206) DSW JSSST大会併設チュートリアルのご案内

[Shoji Yuen <yuen@xxxxxxxxxxxxxxxxx>]

IPSJ SIGEMB 関係各位：

(重複しておうけとりの場合は御容赦ください。)

DSW研究会幹事の結縁＠名大と申します。

来月のJSSST第24回大会に併設のチュートリアルのご案内をおおくり
いたします。関連書籍の展示即売もあります。

***********************************************************************

JSSST第24回大会併設チュートリアル
http://unit.aist.go.jp/cvs/tutorial2007.html

【開催日時】：2007年 9月 11日（火）　13:30 - 15:45 

【場所】：奈良先端科学技術大学院大学　
http://www.naist.jp/index_j.html
情報科学研究科　１階 Ｌ２講義室
（正門から正面突き当たり、赤い線の入った７階建て建物の1階）
キャンパスマップ　　〔赤８の建物〕
http://www.naist.jp/campusmap/index_j.html
交通アクセス
http://www.naist.jp/accessmap/index_j.html

【主催】：日本ソフトウェア科学会ディペンダブルシステム研究会

【講師】：　米田　友洋教授　（国立情報科学研究所情報基盤研究系）　

【題名】：モデル検査とハードウェア検証

【概要】： 本チュートリアルでは，ハードウェアの形式的検証によく使われ
ているCTL(Computational Tree Logic)のモデル検査について，検証すべき性
質の記述方法およびモデル検査アルゴリズムの概要を述べた後，SMVと呼ばれ
るツールを用いて簡単なハードウェアを検証する方法を概説する．また，時間
が許せば，PVSという定理証明型ツールによる簡単な検証例も示す．

*会場にて、米田友洋教授他の御著書「ディペンダブルシステム---高信頼システ
ム実現のための耐故障・検証・テスト技術」　を展示即売予定

◆参加費

    * 学生会員　　　　　　￥1,000
    * 学生非会員　　　　　￥2,000
    * 一般会員　　　　　　￥3,000
    * 一般非会員　　　　　￥5,000

◆参加申込み方法

以下の様式に記入して、2007年9月7日(金)までに
jssst-tutorial2007@xxxxxxxxxxxx 宛メイルでお申込ください。
会費は当日受付にてお支払いください。
------------------------------------------------
【JSSST第24回大会併設チュートリアル参加申込書】

・氏名（ふりがな）：
・氏　名（漢字）：
・所　属：
・住  所：〒
・電話番号：
・Emailアドレス：
・会員／非会員　（該当しない方を削除してください）
・会員番号：
・一般／学生　　 （該当しない方を削除してください）
-------------------------------------------------

個人情報の取扱いについて　お申込みの際にいただいた個人情報は、JSSST第
24回大会併設チュートリアルの開催に関する業務以外には使用いたしません。

以上


日本ソフトウェア科学会ディペンダブルシステム研究会
主査 木下佳樹
***********************************************************************

--
結縁祥治
名古屋大学大学院情報科学研究科情報システム学専攻