1. 前のページに戻る

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

研究課題

戦略的な研究開発の推進 戦略的創造研究推進事業 さきがけ

体系的番号 JPMJPR2022
DOI https://doi.org/10.52926/JPMJPR2022

研究代表者

川本 裕輔  産業技術総合研究所, 情報・人間工学領域, 主任研究員

研究期間 (年度) 2020 – 2023
概要プログラムが意図どおりに動作することを数理的に厳密に検証する手法として形式検証手法が研究されており、様々なソフトウェアの検証に利用されてきました。本研究では、統計解析プログラムの正しさを数理的に厳密に検証するための形式検証手法を構築します。特に、統計解析プログラムの自動検証技術を開発し、統計解析プログラムの信頼性を高めることを目指します。
研究領域数学と情報科学で解き明かす多様な対象の数理構造と活用

URL: 

JSTプロジェクトデータベース掲載開始日: 2020-12-16   JSTプロジェクトデータベース最終更新日: 2025-03-26  

サービス概要 よくある質問 利用規約

Powered by NII jst