{"created":"2023-07-27T06:50:26.906848+00:00","id":43284,"links":{},"metadata":{"_buckets":{"deposit":"25bbf396-434f-4b82-ac83-a640fb253c80"},"_deposit":{"created_by":18,"id":"43284","owners":[18],"pid":{"revision_id":0,"type":"depid","value":"43284"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00043284","sets":["934:935:936"]},"author_link":["69841","69843","69844","69845"],"item_4_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2017-08-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"8","bibliographicPageEnd":"1826","bibliographicPageStart":"1819","bibliographicVolumeNumber":"E100D","bibliographic_titles":[{"bibliographic_title":"IEICE Transactions on Information and Systems"}]}]},"item_4_creator_33":{"attribute_name":"著者別表示","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"山根, 智"}],"nameIdentifiers":[{}]}]},"item_4_description_21":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Embedded systems have been widely used. In addition, embedded systems have been gradually complicated. It is important to ensure the safety for embedded software by software model checking. We have developed a verification system for verifying embedded assembly programs. It generates exact Kripke structure by exhaustively and dynamically simulating assembly programs, and simultaneously verify it by model checking. In addition, we have introduced undefined values to reduce the number of states in order to avoid the state space explosion. Copyright © 2017 The Institute of Electronics, Information and Communication Engineers.","subitem_description_type":"Abstract"}]},"item_4_description_22":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"発行後6か月より出版社版","subitem_description_type":"Other"}]},"item_4_description_5":{"attribute_name":"提供者所属","attribute_value_mlt":[{"subitem_description":"金沢大学理工研究域電子情報学系  ","subitem_description_type":"Other"}]},"item_4_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.24517/00049631","subitem_identifier_reg_type":"JaLC"}]},"item_4_publisher_17":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"電子情報通信学会 IEICE = The Institute of Electronics, Information and Communication Engineers "}]},"item_4_relation_12":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"10.1587/transinf.2016EDP7452","subitem_relation_type_select":"DOI"}}]},"item_4_relation_28":{"attribute_name":"関連URI","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"https://www.jstage.jst.go.jp/browse/transinf/-char/en"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://www.jstage.jst.go.jp/browse/transinf/-char/en","subitem_relation_type_select":"URI"}},{"subitem_relation_name":[{"subitem_relation_name_text":"http://www.ieice.org/jpn/"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://www.ieice.org/jpn/","subitem_relation_type_select":"URI"}}]},"item_4_rights_23":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright © 電子情報通信学会 IEICE, The Institute of Electronics, Information and Communication Engineers"}]},"item_4_source_id_11":{"attribute_name":"NCID","attribute_value_mlt":[{"subitem_source_identifier":"AA10826272","subitem_source_identifier_type":"NCID"}]},"item_4_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0916-8532","subitem_source_identifier_type":"ISSN"}]},"item_4_version_type_25":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yamane, Satoshi"}],"nameIdentifiers":[{},{}]},{"creatorNames":[{"creatorName":"Konoshita, Ryosuke"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kato, Tomonori"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-02"}],"displaytype":"detail","filename":"TE-PR-YAMANE-S-1819.pdf","filesize":[{"value":"355.1 kB"}],"format":"application/pdf","licensetype":"license_6","mimetype":"application/pdf","url":{"label":"TE-PR-YAMANE-S-1819.pdf","url":"https://kanazawa-u.repo.nii.ac.jp/record/43284/files/TE-PR-YAMANE-S-1819.pdf"},"version_id":"ee9ed7c4-6688-4532-80aa-eb78e6ecd8f4"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Model checking of embedded assembly program based on simulation","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Model checking of embedded assembly program based on simulation"}]},"item_type_id":"4","owner":"18","path":["936"],"pubdate":{"attribute_name":"公開日","attribute_value":"2017-12-28"},"publish_date":"2017-12-28","publish_status":"0","recid":"43284","relation_version_is_last":true,"title":["Model checking of embedded assembly program based on simulation"],"weko_creator_id":"18","weko_shared_id":-1},"updated":"2023-07-27T17:43:53.386093+00:00"}