研課題
J-GLOBAL ID:202104009939287436  研究課題コード:20333526

統計解析プログラムのための形式検証手法

体系的課題番号:JPMJPR2022
実施期間:2020 - 2023
実施機関 (1件):
研究代表者: ( , 情報・人間工学領域, 主任研究員 )
DOI: https://doi.org/10.52926/JPMJPR2022
研究概要:
プログラムが意図どおりに動作することを数理的に厳密に検証する手法として形式検証手法が研究されており、様々なソフトウェアの検証に利用されてきました。本研究では、統計解析プログラムの正しさを数理的に厳密に検証するための形式検証手法を構築します。特に、統計解析プログラムの自動検証技術を開発し、統計解析プログラムの信頼性を高めることを目指します。
タイトルに関連する用語 (3件):
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
研究制度:
上位研究課題: 数学と情報科学で解き明かす多様な対象の数理構造と活用
研究所管機関:
国立研究開発法人科学技術振興機構

前のページに戻る