{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:42:32Z","timestamp":1725525752311},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/icis.2016.7550826","type":"proceedings-article","created":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T20:57:40Z","timestamp":1472158660000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Verifying OSEK\/VDX applications: An optimized SMT-based bounded model checking approach"],"prefix":"10.1109","author":[{"given":"Haitao","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuo","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yonggang","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoqiang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45937-5_16"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9036-z"},{"key":"ref13","first-page":"51","article-title":"Verifying SystemC: A software model checking approach","author":"cimatti","year":"2010","journal-title":"FMCAD"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"ref3","first-page":"187","article-title":"A Spin-based Approach for Checking OSEK\/VDX Applications","author":"zhang","year":"2014","journal-title":"3rd International Workshop FTSCS in ICFEM"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985839"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-008-0091-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75280"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2013.49"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"journal-title":"Programming in the Osek\/Vdx Environment","year":"2001","author":"lemieux","key":"ref1"},{"key":"ref9","first-page":"337","article-title":"Z3: An Efficient SMT Solver","author":"de moura","year":"2008","journal-title":"14th TACAS"}],"event":{"name":"2016 IEEE\/ACIS 15th International Conference on Computer and Information Science (ICIS)","start":{"date-parts":[[2016,6,26]]},"location":"Okayama, Japan","end":{"date-parts":[[2016,6,29]]}},"container-title":["2016 IEEE\/ACIS 15th International Conference on Computer and Information Science (ICIS)"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/iel7\/7537873\/7550716\/07550826.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7537873\/7550716\/07550826.pdf?arnumber=7550826","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,30]],"date-time":"2016-09-30T01:16:58Z","timestamp":1475198218000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7550826\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icis.2016.7550826","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}