{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:50:29Z","timestamp":1730281829632,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/memcod.2003.1210089","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"55-64","source":"Crossref","is-referenced-by-count":7,"title":["High level verification of control intensive systems using predicate abstraction"],"prefix":"10.1109","author":[{"given":"E.","family":"Clarke","sequence":"first","affiliation":[]},{"given":"O.","family":"Grumberg","sequence":"additional","affiliation":[]},{"given":"M.","family":"Talupur","sequence":"additional","affiliation":[]},{"family":"Dong Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"160","article-title":"Experience with predicate abstraction","author":"das","year":"1999","journal-title":"CAV'99"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1995.523251"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"journal-title":"Computer-Aided Verification","year":"1994","author":"kurshan","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384313"},{"key":"ref15","article-title":"Syntactic program transformations for automatic abstraction","author":"namjoshi","year":"2000","journal-title":"CAV'00"},{"journal-title":"Techniques for Program Verification","year":"1980","author":"nelson","key":"ref16"},{"key":"ref17","first-page":"72","article-title":"Construction of abstract state graphs with PVS","author":"graf","year":"1997","journal-title":"CAV'97"},{"key":"ref18","first-page":"443","article-title":"Abstract and model check while you prove","author":"saidi","year":"1999","journal-title":"CAV'99"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156104"},{"key":"ref4","article-title":"Automated abstraction refinement for model checking large state spaces using sat based conflict analysis","author":"pankaj","year":"2002","journal-title":"FM-CAD'02"},{"key":"ref3","first-page":"319","article-title":"Computing abstractions of infinite state systems compositionally and automatically","author":"bensalem","year":"1998","journal-title":"Proc CAV 98 Computer-Aided Verification"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2003.1214874"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143235"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref8"},{"key":"ref7","article-title":"SAT based Predicate Abstraction for Hardware Verification","author":"clarke","year":"2003","journal-title":"International Conference on Theory and Applications of Satisfiability Testing"},{"key":"ref2","first-page":"268","article-title":"Boolean and cartesian abstractions for model checking c programs","volume":"2031","author":"ball","year":"2001","journal-title":"TACAS 2001"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"ref9","first-page":"293","article-title":"Generating finite-state abstractions of reactive systems using decision procedures","author":"colon","year":"1998","journal-title":"CAV'98"},{"key":"ref20","article-title":"Efficient conflict driven learning in a Boolean satisfiability solver","author":"zhang","year":"2001","journal-title":"ICC 01"}],"event":{"name":"2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003)","start":{"date-parts":[[2003,6,24]]},"location":"Mont Saint Michel, France","end":{"date-parts":[[2003,6,26]]}},"container-title":["First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8593\/27232\/01210089.pdf?arnumber=1210089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T12:44:18Z","timestamp":1489409058000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210089\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/memcod.2003.1210089","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}