CVS

center-name

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

12th AIST/CVS Workshop
Last updated: 2009.04.14


ソフトウェアと検証のワークショップ
(Workshop on Software and Verification; WSV2009)

日    程: 2009年4月10日(金)
場    所: システム検証研究センター千里オフィス6F会議室
概    要: 
このたび、「ソフトウェアと検証のワークショップ」を開催いたました。このワークショップは、「ソフトウェア」または「検証」を共通のキーワードとしながら、普段はあまり交流のない研究分野の方々に集まっていただくという言わば「異文化交流」を目的にいたしました。



◆PROGRAM:


13:00-13:05 Opening
13:05-14:10 Ralf Treinen (University Paris 7)
    The Mancoosi project: Managing the Complexity of the Open Source Infrastructurepdf(535KB)
新部 裕 (産業技術総合研究所)
    自由ソフトウェアの責任 pdf(1.05MB)
14:10-14:25 休憩
14:25-16:05 廣川 直 (北陸先端科学技術大学院大学)
    KBO Orientabilitypdf(187KB)
Cyrille Artho (産業技術総合研究所)
    Efficient Model Checking of Networked Applications pdf(250KB)
Ralf Huuck (University of New South Wales)
    Goanna: A Static Analyzer for Large C/C++ Code Basespdf(1.73MB)
16:05-16:20 休憩
16:20-17:25 土屋 達弘 (大阪大学)
    Model Checking of Fault-Tolerant Distributed Algorithmspdf(145KB)
戸田 賢二 (産業技術総合研究所)
    組込機器開発用ハードウェアプラットフォームとその利用環境、検証にむけての一考察pdf(4.09MB)
17:25-17:30 Closing


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