4th VERITE (JAIST/TRUST-AIST/CVS joint workshop on VERIfication TEchnology)

プログラム

3月6日（水） 13:30-17:20

13:30-14:10 セッション１：事例研究

• 高井利憲（AIST/CVS）、モデル検査事例−組み込み機器向け時計の不具合解析
  

14:20-15:40 セッション２：論理１

• 上出哲広（AIST/CVS）、線形時間論理のシーケントシステムについて
  
• 西澤弘毅（AIST/CVS）、Simulation Theorems in Multi-Valued Modal mu-Calculus
  

15:50-17:20 セッション３：論理２

• Bengt Nordstrom（Chalmers工科大学）、 An Introduction to Type Theoretical Ideas
  
• 吉田聡（AIST/CVS）、A note on the weak topology for the constructive completion of the space D(R)
  

19:30 懇親会 (湊屋、076-264-0611)

3月7日（水） 10:00-17:15

JAIST 21世紀COEシンポジウム 2007「検証進化可能電子社会」と共催

10:00 開催の挨拶

• 片山 卓也（拠点リーダー）
  

10:10-12:10　セッション1 法令文書表現と推論 (座長：平石邦彦)

• 東条 敏(*1)、法律文の中の不整合の検出 -オントロジーを用いた矛盾概念の拡張-
  
• 島津 明(*1)、法令文書の自然言語処理 1,2
  
• Stijn De Saeger (*2)、Channels for Agent Communication
  

13:00-15:00　セッション2 形式検証技術・形式推論機構 (座長：小川瑞史)

• 緒方 和博(*1)、帰納法と有界モデル検査の組み合わせによる反例発見
  
• Weiqiang Kong(*2）、Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
  
• 青木 利晃(*3)、マルチタスクソフトウェアの検証法
  

15:15-17:15　セッション3 モデル化技術・安心基盤技術 (座長：青木利晃)

• 落水 浩一郎(*1)、法令工学におけるソフトウェアアカウンタビリティの実現法
  
• 金子 峰雄(*1)、極微細ＬＳＩのタイミング設計
  
• 双紙 正和(*1)、量子理論に基づくセキュリティプロトコル
  

※講演者の所属（*1 北陸先端科学技術大学院大学 情報科学研究科*2 北陸先端科学技術大学院大学 COEポスドク研究員
*3 北陸先端科学技術大学院大学 安心電子社会研究センター）

Previous VERITE

• 1st VERITE (金沢、2005年9月21日〜22日）
  
• 2nd VERITE（千里、2006年5月22日）
  
• 3rd VERITE（JAIST、2006年11月27日〜28日）
  

JAISTへのアクセス