Proj
J-GLOBAL ID：202104000868677788
Research Project code：07051035
ディペンダブルシステムソフトウェア構築技術に関する研究
ディペンダブルシステムソフトウェア構築技術に関する研究
National award number：JPMJCR06N5
Study period：2006 - 2011
Organization (1)：
Principal investigator：
(
, 大学院情報理工学系研究科, 助手 )
DOI：
https://doi.org/10.52926/JPMJCR06N5
Research overview：
本研究では、静的プログラム解析技術 (プログラムを数学的理論に基づいて解析することで、プログラムを実行することなく、その性質を知る技術)、特に型理論とモデル検査理論に基づき、システムソフトウェアの安全性・信頼性を保証・検証する技術を実現します。また、この技術を実用化し、実際にシステムソフトウェア開発者に広く利用してもらえるような現実的な検証ツールを開発・公開します。
Terms in the title (2)：
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
