CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

System Design Verification Technique Research Consortium

システム設計検証技術研究会 平成17年度第1回講演会

平成17年度第1回目のシステム設計検証技術研究会は、北陸先端科学技術大学院大学の青木氏をお迎えし、講演会を開催しました。
30名がこの講演会を聴講、懇親会にも多数ご参加いただきました。

日 時:   2005年4月25日(月)15:00〜17:00
講演者:  北陸先端科学技術大学院大学 情報科学研究科 助手 青木利晃氏
演 題:   「定理証明システムとソフトウェアの検証への応用」
内 容 :

ソフトウェア検証のための技術は、大きく分けて、モデル検査と定理証明の2種類がある.この講演では後者に焦点を当てる。まず、定理証明技術の概要と、それを支援するツールである定理証明システムHOLについて説明する。そして、それらを用いてソフトウェアを検証する方法について紹介する。

会 場:   産業技術総合研究所 システム検証研究センター 千里オフィス6F会議室

Prof.Tamai Lecture Prof.Tamai Prof.Tamai


産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2009 AIST Research Center for Verification and Semantics, All Rights Reserved.