{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:35:22Z","timestamp":1761964522557,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693139","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:07:25Z","timestamp":1389010045000},"page":"710-713","source":"Crossref","is-referenced-by-count":27,"title":["CSeq: A concurrency pre-processor for sequential C verification tools"],"prefix":"10.1109","author":[{"given":"Bernd","family":"Fischer","sequence":"first","affiliation":[]},{"given":"Omar","family":"Inverso","sequence":"additional","affiliation":[]},{"given":"Gennaro","family":"Parlato","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24559-6_3"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996845"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0078-9"},{"key":"16","first-page":"146","article-title":"LLBMC: Bounded model checking of C and C++ programs using a compiler IR","volume":"7152","author":"merz","year":"2012","journal-title":"LNCS"},{"key":"13","first-page":"477","article-title":"Reducing context-bounded concurrent reachability to sequential reachability","volume":"5643","author":"la torre","year":"2009","journal-title":"LNCS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.87.4"},{"key":"11","first-page":"633","article-title":"Threader: A verifier for multi-threaded programs (competition contribution)","volume":"7795","author":"popeea","year":"2013","journal-title":"LNCS"},{"journal-title":"Information Technology-Portable Operating System Interface (POSIX) Base Specifications","year":"2009","key":"12"},{"year":"0","author":"bendersky","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-7(4:4)2011"},{"key":"1","first-page":"141","article-title":"Partial orders for efficient bounded model checking of concurrent software","volume":"8044","author":"alglave","year":"2013","journal-title":"LNCS"},{"key":"10","first-page":"616","article-title":"CSeq: A sequentialization tool for C (competition contribution)","volume":"7795","author":"fischer","year":"2013","journal-title":"LNCS"},{"key":"7","first-page":"168","article-title":"A tool for checking ANSI-C programs","volume":"2988","author":"clarke","year":"2004","journal-title":"LNCS"},{"key":"6","first-page":"72","article-title":"Time-bounded analysis of real-time systems","author":"chaki","year":"2011","journal-title":"FMCAD"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23702-7_13"},{"journal-title":"TACAS 2013 Competition on Software Verification","year":"0","author":"beyer","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926432"},{"key":"8","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1145\/1985793.1985839","article-title":"Verifying multi-threaded software using SMTbased context-bounded model checking","author":"cordeiro","year":"2011","journal-title":"ICSE"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA, USA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693139.pdf?arnumber=6693139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,21]],"date-time":"2022-03-21T12:55:30Z","timestamp":1647867330000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693139\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693139","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}