- 2023 - 2028 次世代車載基盤システムのための形式手法と検証ツールの創出
- 2018 - 2023 次世代車載システムのための形式手法に関する研究
- 2015 - 2018 次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究
- 2011 - 2016 証明スコア法に基づく革新的仕様検証システムの構築
- 2012 - 2015 形式手法の統合によるシームレスなソフトウェア開発手法の提案
- 2011 - 2011 証明スコア法に基づく革新的仕様検証技術の研究
- 2008 - 2011 高度な並行・並列組込みソフトウェアの検証法に関する研究
- 2004 - 2006 産業応用を目指したオブジェクト指向モデルの検証手法の提案
- 2001 - 2004 オブジェクト指向分析モデルの形式的構築法と検証法
- 2002 - 2002 現実的な形式的オブジェクト指向分析と計算機支援環境
- 2000 - 2002 形式的オブジェクト指向方法論に基づく組み込みソフトウェアの構成法の研究
- 2001 - 2001 現実的な形式的オブジェクト指向分析と計算機支援環境
- 2000 - 2001 オブジェクト指向分析モデルの定理証明系を用いた検証支援に関する研究
全件表示