{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:29:12Z","timestamp":1729672152487,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icst.2015.7102612","type":"proceedings-article","created":{"date-parts":[[2015,5,8]],"date-time":"2015-05-08T15:54:04Z","timestamp":1431100444000},"page":"1-10","source":"Crossref","is-referenced-by-count":10,"title":["Yes! You Can Use Your Model Checker to Verify OSEK\/VDX Applications"],"prefix":"10.1109","author":[{"given":"Haitao","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Toshiaki","family":"Aoki","sequence":"additional","affiliation":[]},{"given":"Yuki","family":"Chiba","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"UPPAAL","year":"0","key":"ref10"},{"journal-title":"Real-Time Systems and Programming Languages","year":"2009","author":"burns","key":"ref11"},{"journal-title":"C Intermediate Language","year":"2001","author":"necula","key":"ref12"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0065-2458(03)58003-2","article-title":"Clarke and Yunshan Zhu, “Bounded Model Checking","volume":"58","author":"armin","year":"2003","journal-title":"Advances in Computers"},{"article-title":"Partial-Order Methods for the Verification of Concurrent Systems","year":"1994","author":"godefroid","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2011.26"},{"key":"ref16","first-page":"58","article-title":"Automatic Generation of Model Checking Scripts Based on Environment Modeling","author":"yatake","year":"2010","journal-title":"Proc 17th International SPIN Conference on Model Checking Software"},{"journal-title":"Trampoline","year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2011.22"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.11"},{"key":"ref4","first-page":"51","article-title":"Verifying SystemC: A software model checking approach","volume":"1","author":"cimatti","year":"2010","journal-title":"FMCAD"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1455229.1455239"},{"key":"ref6","article-title":"A Spin-based Approach for Checking OSEK\/VDX Applications","author":"zhang","year":"2014","journal-title":"accepted by 3rd International Workshop FTSCS in ICFEM"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985839"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2013.49"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"ref7"},{"key":"ref2","first-page":"1512","article-title":"Model Checking and Abstraction","author":"edmund","year":"1994","journal-title":"ACM Trans"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-008-0091-0"},{"journal-title":"Programming in the Osek\/Vdx Environment","year":"2001","author":"lemieux","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9036-z"},{"journal-title":"Issue 7 ISO\/IEC\/IEEE 9945 2009 ISO","article-title":"Information technology-Portable Operating System Interface (POSIX) Base Specifications","year":"2009","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_29"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_7"},{"key":"ref23","first-page":"439","article-title":"Program slicing","author":"weiser","year":"1981","journal-title":"ICSE"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"}],"event":{"name":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7102553\/7102573\/07102612.pdf?arnumber=7102612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T11:12:51Z","timestamp":1498216371000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7102612\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/icst.2015.7102612","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}