Proj
J-GLOBAL ID：202104000874389662
Research Project code：07051047
検証における記述量爆発問題の構造変換による解決
検証における記述量爆発問題の構造変換による解決
National award number：JPMJCR0261
Study period：2002 - 2007
Organization (1)：
Principal investigator：
(
, 情報処理研究部門, 情報科学研究グループ長 )
DOI：
https://doi.org/10.52926/JPMJCR0261
Research overview：
ソフトウェアの動作検証における現在の大きな課題は、記述の量が爆発的に増大する大規模システムの検証です。この解決のためのひとつのアプローチが、もとのシステムと本質的に等価だが簡潔に記述されたシステムに関して検証を行い、その結果からもとのシステムの検証を導き出す「抽象化法」です。本研究では、我々が函手意味論を指導原理としてこれまでに得た抽象化法一般に関する基本的数理モデルを、リアクティ ブ・システムおよび実時間システムに適用し、大規模システム検証の具体的な手法を構築します。
Terms in the title (4)：
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
