{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:55:11Z","timestamp":1742403311314},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.2003.1257810","type":"proceedings-article","created":{"date-parts":[[2004,5,13]],"date-time":"2004-05-13T10:43:37Z","timestamp":1084445017000},"page":"408-415","source":"Crossref","is-referenced-by-count":1,"title":["Improving Ariadne's Bundle by following multiple threads in abstraction refinement"],"prefix":"10.1109","author":[{"family":"Chao Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Bing Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"HoonSang Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.D.","family":"Hachtel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Somenzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/978-3-540-45069-6_20","article-title":"Abstraction and BDDs complement SAT-based BMC in Diver","author":"gupta","year":"2003","journal-title":"Fifteenth Conference on Computer Aided Verification (CAV'03)"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/3-540-61474-5_94","article-title":"COSPAN","author":"hardin","year":"1996","journal-title":"Eighth Conference on Computer Aided Verification (CAV'96)"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/343647.343831"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/3-540-46002-0_31","article-title":"Fate and free will in error traces","author":"jin","year":"2002","journal-title":"International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'02)"},{"key":"ref14","first-page":"95","article-title":"Practical symbolic model checking of the full µ-calculus using compositional abstractions","author":"kelb","year":"1995","journal-title":"Technical Report"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1016\/0304-3975(82)90125-6"},{"year":"1994","author":"kurshan","journal-title":"Computer-aided Verification of Coordinating Processes","key":"ref16"},{"key":"ref17","first-page":"76","article-title":"Tearing based abstraction for CTL model checking","author":"lee","year":"1996","journal-title":"Proceedings of the International Conference on Computer-Aided Design"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-36577-X_2","article-title":"Automatic abstraction without counterexamples","author":"mcmillan","year":"2003","journal-title":"International Conference on Tools and Algorithms for Construction and Analysis of Systems '03)"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3-540-36126-X_3","article-title":"Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis","author":"chauhan","year":"2002","journal-title":"Formal Methods in Computer Aided Design"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-61474-5_95","article-title":"VIS: A system for verification and synthesis","author":"brayton","year":"1996","journal-title":"Eighth Conference on Computer Aided Verification (CAV 96)"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-45657-0_20","article-title":"SAT based abstraction-refinement using ILP and machine learning","author":"clarke","year":"2002","journal-title":"Fourteenth Conference on Computer Aided Verification (CAV 2002)"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/10722167_15","article-title":"Counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"Twelfth Conference on Computer Aided Verification (CAV'00)"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/SFCS.1991.185392"},{"key":"ref7","first-page":"52","article-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","author":"clarke","year":"1981","journal-title":"Proceedings Workshop on Logics of Programs"},{"key":"ref2","first-page":"193","article-title":"Symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"In Fifth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99)"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/3-540-45657-0_6"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-36577-X_13","article-title":"Multiple-counterexample guided iterative abstraction refinement: An industrial evaluation","author":"glusman","year":"2003","journal-title":"International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'03)"},{"key":"ref20","first-page":"12","article-title":"Automatic abstraction techniques for propositional µ-calculus model checking","author":"pardo","year":"1997","journal-title":"Ninth Conference on Computer Aided Verfification (CAV'97)"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/DAC.2001.156104"},{"year":"0","key":"ref21"}],"event":{"acronym":"ICCAD-03","name":"ICCAD-2003. International Conference on Computer Aided Design","location":"San Jose, CA, USA"},"container-title":["ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8895\/28127\/01257810.pdf?arnumber=1257810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,17]],"date-time":"2018-05-17T12:09:08Z","timestamp":1526558948000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1257810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iccad.2003.1257810","relation":{},"subject":[]}}