| Project/Area Number |
25H01113
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (A)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Review Section |
Medium-sized Section 60:Information science, computer engineering, and related fields
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
末永 幸平 京都大学, 情報学研究科, 准教授 (70633692)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
和賀 正樹 京都大学, 情報学研究科, 助教 (00899007)
五十嵐 淳 京都大学, 情報学研究科, 教授 (40323456)
池渕 未来 京都大学, 情報学研究科, 助教 (70961796)
関山 太朗 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (80828476)
|
|---|
| Project Period (FY) |
2025-04-01 – 2030-03-31
|
| Project Status |
Granted (Fiscal Year 2025)
|
| Budget Amount *help |
¥59,800,000 (Direct Cost: ¥46,000,000、Indirect Cost: ¥13,800,000)
Fiscal Year 2025: ¥10,920,000 (Direct Cost: ¥8,400,000、Indirect Cost: ¥2,520,000)
|
|---|
| Keywords | 形式検証 / 人工知能 / ソフトウェア |
|---|
| Outline of Research at the Start |
AIを用いたソフトウェアは，AIモジュールのブラックボックス性のために従来の形式検証手法をそのまま適用することが困難である．このようなソフトウェア安全性を向上させるための形式検証手法の確立に向けて，内部動作が明らかではなく，期待される動作の形式的仕様記述も困難であるモジュールを含むシステムの動作を検証するための手法を研究する．より具体的には，AIモジュールを含むソフトウェアへの適用を志向した，形式的仕様が与えられていないブラックボックスな部品を含むソフトウェアのための形式検証手法を研究する．
|
