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

Material type: 文書・図像類

Author: 山根, 智ほか

Publisher: -

Publication date: 2010-04-01

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: 金沢大学理工研究域電子情報通信学系リアルタイムオブジェクト指向言語を開発して、オブジェクトが生成消滅するシステムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リアルタイムCEGARの開発と実装に取り組んだ。その結果、動的リアルタイムCEGARの実現により、オブジェクトの生成消滅といった構造...

Related materials as well as pre- and post-revision versions

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/

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Kanazawa University Repository for Academic Resources
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
Kanazawa University Repository for Academic Resources

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: 述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法
Author/Editor: 山根, 智
Yamane, Satoshi
Author Heading: 山根, 智
Yamane, Satoshi
Publication Date: 2010-04-01
Publication Date (W3CDTF): 2010-04-01
Alternative Title: Automatic verification method for large scale embedded object-oriented design based on predicate abstraction
Periodical title: 平成23(2009)年度科学研究費補助金基盤研究(C) 研究成果報告書 = 2009 Fiscal Year Final Research Report
No. or year of volume/issue: 2007-2009
Volume: 2007-2009
Pages: 4p.-
Text Language Code: jpn
Subject Heading: 組込みシステム
述語抽象化検証
オブジェクト指向
Target Audience: 一般
Note (General): 金沢大学理工研究域電子情報通信学系
リアルタイムオブジェクト指向言語を開発して、オブジェクトが生成消滅するシステムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リアルタイムCEGARの開発と実装に取り組んだ。その結果、動的リアルタイムCEGARの実現により、オブジェクトの生成消滅といった構造の変化及びリアルタイム性を同時に抽象化精錬して、リアルタイムオブジェクト指向システムの効率的なモデル検査が実現できることを明らかにした。
研究課題/領域番号:19500025, 研究期間(年度):2007-2009
出典：研究課題「述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法」課題番号19500025（KAKEN：科学研究費助成事業データベース（国立情報学研究所））（https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-19500025/19500025seika/）を加工して作成
DOI: 10.24517/00053964
Source: https://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=47640&item_no=1&attribute_id=26&file_no=1
https://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=47640&item_no=1&attribute_id=26&file_no=1
Access Restrictions: 限定公開
Rights (production): CC BY-NC-ND
Related Material: 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/
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 金沢大学 : 金沢大学学術情報リポジトリKURA