{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:35:29Z","timestamp":1773653729593,"version":"3.50.1"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/iccad.2008.4681598","type":"proceedings-article","created":{"date-parts":[[2008,11,25]],"date-time":"2008-11-25T21:24:14Z","timestamp":1227648254000},"page":"356-363","source":"Crossref","is-referenced-by-count":15,"title":["Race analysis for SystemC using model checking"],"prefix":"10.1109","author":[{"given":"Nicolas","family":"Blanc","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Kroening","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.10"},{"key":"17","doi-asserted-by":"crossref","DOI":"10.1145\/1047659.1040315","article-title":"dynamic partial-order reduction for model checking software","author":"flanagan","year":"2005","journal-title":"SIGPLAN"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-1489-x"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391708"},{"key":"13","year":"0"},{"key":"14","author":"ball","year":"2000","journal-title":"Boolean programs A model and process for software analysis"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996845"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_29"},{"key":"20","year":"0"},{"key":"22","article-title":"combining partial order reductions with on-the-fly model-checking","author":"peled","year":"1994","journal-title":"CAV"},{"key":"23","article-title":"all from one, one for all: on model checking using representatives","author":"peled","year":"1993","journal-title":"CAV"},{"key":"24","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","author":"godefroid","year":"1996","journal-title":"Partial-Order Methods for the Verification of Concurrent Systems - An Appmach to the State-Explosion Problem"},{"key":"25","year":"0"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0020-3"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487900"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/130616.130623"},{"key":"2","article-title":"satabs: sat-based predicate abstraction for ansi-c","author":"clarke","year":"2005","journal-title":"TACAS"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321719"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_36"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"},{"key":"5","year":"0"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"9","first-page":"188","article-title":"formal techniques for systemc verification","author":"vardi","year":"2007","journal-title":"DAC"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"}],"event":{"name":"2008 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","location":"San Jose, CA, USA","start":{"date-parts":[[2008,11,10]]},"end":{"date-parts":[[2008,11,13]]}},"container-title":["2008 IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4670335\/4681527\/04681598.pdf?arnumber=4681598","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T14:00:29Z","timestamp":1497794429000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4681598\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/iccad.2008.4681598","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}