ゼミナール講演
日時
平成 15年 6月 30日(月) 3限(13:30 -- 15:00)
場所
L1
講演者
中田 明夫
所属
大阪大学 大学院 情報科学研究科 助教授
講演題目
モデル検査技術の最新動向
概要
近年、高信頼性が要求される分野でハードウェア・ソフトウェアシステムが使われるようになってきている。そのようなシステムの設計誤りが無いか否かを設計段階で検証する手法としてモデル検査(Model Checking)がある。モデル検査とは、状態機械モデルで記述されたハードウェア・ソフトウェアシステムの動作仕様が望ましい性質を持つか否かを自動的に検証する手法である。本講演では、モデル検査技術の概要を説明し、最新の研究トピックをいくつか紹介する。
ゼミナールI,II予定ページへ戻る
平成15年度ゼミナール担当