Proj
J-GLOBAL ID：202104009939287436
Research Project code：20333526
統計解析プログラムのための形式検証手法
統計解析プログラムのための形式検証手法
National award number：JPMJPR2022
Study period：2020 - 2023
Organization (1)：
Principal investigator：
(
, 情報・人間工学領域, 主任研究員 )
DOI：
https://doi.org/10.52926/JPMJPR2022
Research overview：
プログラムが意図どおりに動作することを数理的に厳密に検証する手法として形式検証手法が研究されており、様々なソフトウェアの検証に利用されてきました。本研究では、統計解析プログラムの正しさを数理的に厳密に検証するための形式検証手法を構築します。特に、統計解析プログラムの自動検証技術を開発し、統計解析プログラムの信頼性を高めることを目指します。
Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
,
,
Research program：
＞
＞
Parent Research Project：
数学と情報科学で解き明かす多様な対象の数理構造と活用
Organization with control over the research：
Japan Science and Technology Agency
