WEKO3
アイテム
述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法
https://doi.org/10.24517/00053964
https://doi.org/10.24517/000539645b365228-05fe-494d-8f58-c77a743a7837
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-YAMANE-S-kaken 2010-4p.pdf (245.0 kB)
|
.png)
|
| アイテムタイプ | 報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2019-05-13 | |||||
| タイトル | ||||||
| タイトル | 述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法 | |||||
| タイトル | ||||||
| タイトル | Automatic verification method for large scale embedded object-oriented design based on predicate abstraction | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
| 資源タイプ | research report | |||||
| ID登録 | ||||||
| ID登録 | 10.24517/00053964 | |||||
| ID登録タイプ | JaLC | |||||
| 著者 |
山根, 智
× 山根, 智 |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学理工研究域電子情報通信学系 | |||||
| 書誌情報 |
平成23(2009)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 en : 2009 Fiscal Year Final Research Report 巻 2007-2009, p. 4p., 発行日 2010-04-01 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | リアルタイムオブジェクト指向言語を開発して、オブジェクトが生成消滅するシステムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リアルタイムCEGARの開発と実装に取り組んだ。その結果、動的リアルタイムCEGARの実現により、オブジェクトの生成消滅といった構造の変化及びリアルタイム性を同時に抽象化精錬して、リアルタイムオブジェクト指向システムの効率的なモデル検査が実現できることを明らかにした。 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 研究課題/領域番号:19500025, 研究期間(年度):2007-2009 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 出典：研究課題「述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法」課題番号19500025 （KAKEN：科学研究費助成事業データベース（国立情報学研究所）） （https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-19500025/19500025seika/）を加工して作成 |
|||||
| 著者版フラグ | ||||||
| 出版タイプ | AM | |||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/search/?qm=70263506 | |||||
| 関連名称 | https://kaken.nii.ac.jp/search/?qm=70263506 | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19500025/ | |||||
| 関連名称 | https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19500025/ | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-19500025/19500025seika/ | |||||
| 関連名称 | https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-19500025/19500025seika/ | |||||
