{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:27:37Z","timestamp":1729621657507,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/time.2003.1214874","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"7-8","source":"Crossref","is-referenced-by-count":32,"title":["Counterexample-guided abstraction refinement"],"prefix":"10.1109","author":[{"given":"E.","family":"Clarke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/10722167_15","author":"clarke","year":"2000","journal-title":"Counterexample-guided abstraction refinement In Computer Aided Verification"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2001.932482"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36126-X_2"},{"key":"ref15","first-page":"356","article-title":"Incompleteness, counterexamples and refinements in abstract model checking","author":"giacobazzi","year":"2001","journal-title":"SAS'01"},{"key":"ref16","first-page":"176","article-title":"Multiple-counterexample guided iterative abstraction refinement: An industrial evaluation","author":"glusman","year":"2003","journal-title":"TACAS'03"},{"key":"ref17","article-title":"Construction of abstract state graphs with PVS","author":"graf","year":"1997","journal-title":"Computer-Aided Verification"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45061-0_69"},{"journal-title":"Computer-aided Verification of Coordinating Processes","year":"1994","author":"kurshan","key":"ref19"},{"journal-title":"Multilevel abstraction refinement for concurrent C programs","year":"2002","author":"chaki","key":"ref4"},{"key":"ref3","first-page":"65","article-title":"Symbolic localization reducation with reconstruction layering and backtracking","volume":"2404","author":"barner","year":"2002","journal-title":"CAV 2002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44577-3_12"},{"journal-title":"Strategy guided abstraction refinement","year":"2003","author":"clarke","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029814"},{"key":"ref7","first-page":"265","author":"clarke","year":"2002","journal-title":"SAT based abstraction - refinement using ILP and machine learning techniques volume 2404 of LNCS"},{"key":"ref2","article-title":"Getting abstract explanations of spurious counterexamples in C programs","author":"ball","year":"2002","journal-title":"Microsoft Technical Report MSR-TR-2002-09"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56922-7_4"},{"key":"ref9","first-page":"192","article-title":"Verification of hybrid systems based on counterexample-guided abstraction refinement","author":"clarke","year":"2003","journal-title":"TACAS'03"},{"key":"ref20","first-page":"98","author":"lakhnech","year":"2001","journal-title":"Incremental verification by abstraction"}],"event":{"name":"10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003","acronym":"TIME-03","location":"Cairns, Qld., Australia"},"container-title":["10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8624\/27321\/01214874.pdf?arnumber=1214874","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T23:18:22Z","timestamp":1497568702000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1214874\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/time.2003.1214874","relation":{},"subject":[]}}