研課題
J-GLOBAL ID：202104000874389662
研究課題コード：07051047
検証における記述量爆発問題の構造変換による解決
体系的課題番号：JPMJCR0261
実施期間：2002 - 2007
実施機関 (1件)：
研究代表者：
(
, 情報処理研究部門, 情報科学研究グループ長 )
DOI：
https://doi.org/10.52926/JPMJCR0261
研究概要：
ソフトウェアの動作検証における現在の大きな課題は、記述の量が爆発的に増大する大規模システムの検証です。この解決のためのひとつのアプローチが、もとのシステムと本質的に等価だが簡潔に記述されたシステムに関して検証を行い、その結果からもとのシステムの検証を導き出す「抽象化法」です。本研究では、我々が函手意味論を指導原理としてこれまでに得た抽象化法一般に関する基本的数理モデルを、リアクティ ブ・システムおよび実時間システムに適用し、大規模システム検証の具体的な手法を構築します。
タイトルに関連する用語 (4件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
,
,
,
研究制度：
＞
＞
上位研究課題：
情報社会を支える新しい高性能情報処理技術-量子効果、分子機能、並列処理等に基づく新たな高速大容量コンピューティング技術の創製を目指して-
研究所管機関：
報告書等：
前のページに戻る
