第25回 コンピュータ理工学部コロキウム 開催

記号モデル検査による形式的論理設計検証

 コンピュータシステムやそれを内蔵する論理システムの開発では、設計の段階で設計誤りが無い事を十分検証することが重要です。従来、設計検証手法として、論理シミュレーションが広く用いられています。しかしながら、全ての可能性を考えたシミュレーションは不可能で、また、膨大なシミュレーション結果の解析も時間とコストがかかり困難になります。このような問題を解決するためには、設計誤りの有無や設計が仕様を満たしているかどうかを数学的に証明する形式的設計検証を行うことが重要になります。本コロキウムでは、形式的検証手法の中で、実用規模の設計検証へ適用が可能な、記号モデル検査を用いた検証手法を中心に紹介します。

日時 2013年6月5日(水) 13:15〜14:40
場所 京都産業大学 14号館1階 14102教室
交通 ※キャンパス内に駐車場はありません。公共交通機関をご利用ください。
交通アクセス
備考 事前申込不要・入場無料・一般の方の参加歓迎
講演者 コンピュータ理工学部 ネットワークメディア学科
平石 裕実 教授
演題 記号モデル検査による形式的論理設計検証

PAGE TOP