1/24（木）

14:00-14:30       【T2_01】DeepSaucer: Verification Environment for Deep Neural Networks （佐藤直人）

14:30-15:00       【T2_02】クラウドベンダーの深層学習マネージドサービス利用におけるテスト・検証の一考察 （山内貴弘, 江澤美保, 宇加治邦生）

15:00-15:30       【T2_03】深層学習コンパイラの等価性検証実現に向けて （今井健男）

15:30-16:00       【T2_04】深層学習モデルに対するテストの動向と課題 （石川冬樹）

16:00-16:20        フリーディスカッション （T2を中心に）

16:20-16:30        休憩

16:30-17:00       【T3_02】モデル検査を用いたFRAMモデルの解析 （青木善貴）

17:00-17:30       【T3_03】NuSMVの反例解析支援ツールの試作 （大池勇太郎, 小形真平, 青木善貴, 中川博之, 岡野浩三）

1/25（金）

09:30-10:00       【T3_01】STAMP/STPAにおける振舞いモデル記述の効用について （岡野浩三, 楊盼, 辛島凛, 小形真平）

10:00-10:30       【T3_04】機械学習ソフトウェアの評価保証レベル （中島震）

10:30-10:50        フリーディスカッション （T3を中心に）

10:50-11:00        休憩

11:00-11:20        フリーディスカッション （全体）