回路デザイン研究室 >> event >> 2013/12/17 モデル検査意見交換会



概要

日時:平成25年12月17日(火) 13:30 〜 17:30
場所:岡山県立大学 情報工学部棟 2501室


プログラム

13:00 - 13:10 開会挨拶
  • 横川智教(岡山県立大学)
13:10 - 14:40 岡山県立大学 回路デザイン研究室 モデル検査グループ 研究成果発表
  • プロセスの模倣性判定に基づいたUML図の整合性検証
    片山巧
  • 整合性検証を目的としたUML図からCSP記述への自動変換ツールの開発
    吉崎晋矢
  • UMLを用いたスマートフォンアプリの設計支援環境の開発
    落水恭介
  • 記号実行手法を用いたスマートフォンアプリのテスト自動生成
    岡崎圭佑
  • NuSMVを用いたVerilog-HDL設計の自動検証手法の開発
    東山大地
14:40 - 15:00 休憩
15:00 - 15:30 講演
  • 開発グループを対象としたモデル検査技術向上の試み
    西原秀明(産業技術総合研究所)
15:30 - 16:00 講演
  • 国内産業界における形式手法の動向とビジネス化
    早水公二(産業技術総合研究所)
16:00 - 17:20 意見交換
  • テーマ:形式手法の発展と普及のための産学連携
17:20 - 17:30 閉会挨拶
  • 西原秀明(産業技術総合研究所)
19:00 - 21:00 懇親会




TOP