4th VERITE (JAIST/TRUST-AIST/CVS joint workshop on VERIfication TEchnology)
日時・場所 2007年3月6日(火)・3月7日(水)
北陸先端科学技術大学院大学・知識講義棟2階中講義室
プログラム
3月6日(水) 13:30-17:20
13:30-14:10 セッション1:事例研究
- 高井利憲(AIST/CVS)、モデル検査事例−組み込み機器向け時計の不具合解析
14:20-15:40 セッション2:論理1
15:50-17:20 セッション3:論理2
19:30 懇親会 (湊屋、076-264-0611)
3月7日(水) 10:00-17:15
JAIST 21世紀COEシンポジウム 2007「検証進化可能電子社会」と共催
10:00 開催の挨拶
10:10-12:10 セッション1 法令文書表現と推論 (座長:平石邦彦)
13:00-15:00 セッション2 形式検証技術・形式推論機構 (座長:小川瑞史)
15:15-17:15 セッション3 モデル化技術・安心基盤技術 (座長:青木利晃)
※講演者の所属(*1 北陸先端科学技術大学院大学 情報科学研究科*2 北陸先端科学技術大学院大学 COEポスドク研究員
*3 北陸先端科学技術大学院大学 安心電子社会研究センター)
Previous VERITE