| 研究課題/領域番号 |
24H00699
|
|---|
| 研究種目 |
基盤研究(A)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
中区分60:情報科学、情報工学およびその関連分野
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
関山 太朗 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (80828476)
|
|---|
| 研究分担者 |
海野 広志 東北大学, 電気通信研究所, 教授 (80569575)
|
|---|
| 研究期間 (年度) |
2024-04-01 – 2028-03-31
|
| 研究課題ステータス |
交付 (2025年度)
|
| 配分額 *注記 |
46,930千円 (直接経費: 36,100千円、間接経費: 10,830千円)
2025年度: 13,650千円 (直接経費: 10,500千円、間接経費: 3,150千円)
2024年度: 6,110千円 (直接経費: 4,700千円、間接経費: 1,410千円)
|
|---|
| キーワード | プログラミング言語 / プログラム検証 / 型システム / 並行・並列プログラム / 時相的検証 / 代数的効果ハンドラ |
|---|
| 研究開始時の研究の概要 |
膨大なデータや通信を処理することが要請される近年のソフトウェアシステムにおいて，並行・並列処理を適切に行うことが重要となっている．しかし，並行・並列処理はシステムの実行順序や状態の可能性を爆発的に増大させるため，正しく動く並行・並列ソフトウェアシステムを構築するのは，並行・並列処理を行わない逐次実行的なソフトウェアを開発するよりも極めて困難となる．本研究は並行・並列処理を行うソフトウェアシステムの安全性を保証する上で重要となる時相的・状態依存的性質といったプログラムの詳細な性質の検証が可能なプログラム検証技術の実現およびその自動化を目指す．
|
