NISTEP注目科学技術 - 2022_E361
概要
正しさが証明されたソフトウェア
キーワード
プログラム検証 / 自動証明 / 定理証明支援系
| ID | 2022_E361 |
|---|---|
| 調査回 | 2022 |
| 注目/兆し | 注目 |
| 所属機関 | 大学 |
| 専門分野 | 情報通信 |
| 専門度 | 高 |
| 実現時期 | 10年以降 |
| 分析データ 推定科研費審査区分（中区分） | 60 （情報科学、情報工学） |
| 分析データ クラスタ | 1 （データサイエンス/情報数学・離散数学・数値計算） |
研究段階
すでに正しさが保証されたコンパイラなどが存在する。
インパクト
2022年調査にはこの項目はありません。
必要な要素
-