CVS

center-name

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

System Design Verification Technique Research Consortium

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

平成20年度第2回目のシステム設計検証技術研究会を終了いたしました。講演者の小川様、そしてご参加いただきました28名の皆様にお礼申し上げます。

●日 時: 9月18日(木)16:00-18:00
●講演者: 小川瑞史 氏 (北陸先端科学技術大学院大学情報科学研究科 教授)
●演 題: 「最近の検証ツールおよびその実装の動向」
●概 要: 検証エンジンについてその実装アルゴリズムや技術を含め概観する。最初に基本的なソースレベル解析・(自動)検証の基本的アイデアや適用対象を簡単に紹介 する。さらに基本的な検証エンジンとして、SATソルバ、モデル検査系を取り上げ、それらがいかに簡潔に実装されているか、また理論的な計算量は改善しな くても実装上有効なアルゴリズムやデータ構造について説明する。最後に、現在開発中の検証エンジンについて、簡単な実験結果などや、現在ターゲットになる プログラムの規模・性質などについて研究成果をもとに簡単に紹介する。 
●会 場: 産業技術総合研究所 システム検証研究センター 千里オフィス6F会議室

Mr.Ogawa
小川氏
Lecture
講演風景



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