{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T13:06:44Z","timestamp":1748610404130,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/fmcad.2014.6987607","type":"proceedings-article","created":{"date-parts":[[2014,12,31]],"date-time":"2014-12-31T01:00:39Z","timestamp":1419987639000},"page":"147-154","source":"Crossref","is-referenced-by-count":6,"title":["A program transformation for faster goal-directed search"],"prefix":"10.1109","author":[{"given":"Akash","family":"Lai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaz","family":"Qadeer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_42"},{"journal-title":"Microsoft Static Driver Verifier","year":"0","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806852"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0078-9"},{"journal-title":"Boogie An Intermediate Verification Language","year":"0","author":"leino","key":"16"},{"key":"13","article-title":"Static and precise detection of concurrency errors in systems code using smt solvers","author":"lahiri","year":"2009","journal-title":"Computer Aided Verification"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-31424-7_32","article-title":"Corral: A solver for reachability modulo theories","author":"lal","year":"2012","journal-title":"Computer Aided Verification"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181790"},{"key":"12","article-title":"Reducing context-bounded concurrent reachability to sequential reachability","author":"la torre","year":"2009","journal-title":"Computer Aided Verification"},{"key":"21","article-title":"Modular bug detection with inertial refinement","author":"sinha","year":"2010","journal-title":"Formal Methods in Computer Aided Design"},{"key":"3","first-page":"364","article-title":"Boogie: A modular reusable verifier for object-oriented programs","author":"barnett","year":"2005","journal-title":"Formal Methods for Components and Objects"},{"key":"20","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1016\/S0950-5849(98)00093-7","article-title":"Program analysis via graph reachability","volume":"40","author":"reps","year":"1998","journal-title":"Information & Software Technology"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_41"},{"journal-title":"Exploiting Structure for Scalable Software Verification","year":"2008","author":"bab\ufffdc","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706307"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393652"},{"key":"6","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","article-title":"A tool for checking ansi-c programs","author":"clarke","year":"2004","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"journal-title":"CBMC Bounded Model Checking for ANSI-C","year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390634"},{"key":"9","first-page":"500","article-title":"Houdini, an annotation assistant for esc\/java","author":"flanagan","year":"2001","journal-title":"Formal Methods Europe"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926432"}],"event":{"name":"2014 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2014,10,21]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2014,10,24]]}},"container-title":["2014 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6975680\/6987576\/06987607.pdf?arnumber=6987607","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T03:19:17Z","timestamp":1566184757000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6987607\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2014.6987607","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}