AIを含むソフトウェアのための形式検証手法

Research Project

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)
Project Period (FY)	2025-04-01 – 2030-03-31
Project Status	Adopted (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)