- 2024 - 2028 Logical foundation and formal verification of quantum-resistant security protocols
- 2023 - 2027 ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発
- 2019 - 2023 線形時相論理モデル検査の分割統治による並列化
- 2014 - 2019 ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究
- 2014 - 2017 分散システムを計算の対象とする分散アルゴリズムのモデル検査に関する研究
- 2011 - 2016 証明スコア法に基づく革新的仕様検証システムの構築
- 2011 - 2013 論理式肥大に伴う活性のモデル検査の非効率化の改善
- 2011 - 2011 証明スコア法に基づく革新的仕様検証技術の研究
- 2006 - 2008 証明支援系とモデル検査器を効果的に利用できる環境と方法論
- 2000 - 2003 振舞仕様に基づく安全性検証の研究
- 2000 - 2001 リアクティブシステムの仕様記述、検証、および実装に関する研究
- 1999 - 2001 モジュールシステムを基礎におくコーディネーションモデルの研究
- 1998 - 2001 機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発
- 1998 - 1999 書換えシステム用最適化コンパイラに関する研究
- 1995 - 1997 並行書き換え抽象機械の研究
全件表示