述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法

• 資料種別: 文書・図像類
• タイトル: 述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法
• 著者・編者: 山根, 智; Yamane, Satoshi
• 著者標目: 山根, 智; Yamane, Satoshi
• 出版年月日等: 2010-04-01
• 出版年（W3CDTF）: 2010-04-01
• 並列タイトル等: Automatic verification method for large scale embedded object-oriented design based on predicate abstraction
• タイトル（掲載誌）: 平成23(2009)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2009 Fiscal Year Final Research Report
• 巻号年月日等（掲載誌）: 2007-2009
• 掲載巻: 2007-2009
• 掲載ページ: 4p.-
• 本文の言語コード: jpn
• 件名標目: 組込みシステム; 述語抽象化検証; オブジェクト指向
• 対象利用者: 一般
• 一般注記: 金沢大学理工研究域電子情報通信学系; リアルタイムオブジェクト指向言語を開発して、オブジェクトが生成消滅するシステムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リアルタイムCEGARの開発と実装に取り組んだ。その結果、動的リアルタイムCEGARの実現により、オブジェクトの生成消滅といった構造の変化及びリアルタイム性を同時に抽象化精錬して、リアルタイムオブジェクト指向システムの効率的なモデル検査が実現できることを明らかにした。; 研究課題/領域番号:19500025, 研究期間(年度):2007-2009; 出典：研究課題「述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法」課題番号19500025（KAKEN：科学研究費助成事業データベース（国立情報学研究所）） （https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-19500025/19500025seika/）を加工して作成
• DOI: 10.24517/00053964
• 一次資料へのリンクURL: https://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=47640&item_no=1&attribute_id=26&file_no=1
• オンライン閲覧公開範囲: 限定公開
• 著作権情報: CC BY-NC-ND
• 関連情報: https://kaken.nii.ac.jp/search/?qm=70263506; https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19500025/; https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-19500025/19500025seika/
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 金沢大学 : 金沢大学学術情報リポジトリKURA