Project/Area Number |
23K20380
|
Research Category |
Grant-in-Aid for Scientific Research (B)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 60050:Software-related
|
Research Institution | Tohoku University |
Principal Investigator |
海野 広志 東北大学, 電気通信研究所, 教授 (80569575)
|
Co-Investigator(Kenkyū-buntansha) |
南出 靖彦 東京工業大学, 情報理工学院, 教授 (50252531)
寺内 多智弘 早稲田大学, 理工学術院, 教授 (70447150)
|
Project Period (FY) |
2024-04-01 – 2025-03-31
|
Project Status |
Granted (Fiscal Year 2024)
|
Budget Amount *help |
¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2024: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
|
Keywords | プログラム合成 / プログラム検証 / 時相的仕様 / 関係的仕様 |
Outline of Research at the Start |
高度情報化社会において、日常業務の自動化から社会基盤を支えるシステム開発まで、様々な場面でプログラミングの重要性が増している。本研究では、ミッションクリティカルシステムの一部としての利用にも耐える高信頼・高効率のプログラムを、必ずしもプログラミングや形式手法の知識を持たないユーザが、少ない労力で得ることが可能な世界の実現を目指し、プログラム検証・合成のための理論構築およびツールの研究・開発を行う。
|