{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T14:56:57Z","timestamp":1770217017244,"version":"3.49.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2006.1695896","type":"proceedings-article","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T13:01:13Z","timestamp":1158930073000},"page":"17-26","source":"Crossref","is-referenced-by-count":7,"title":["Mixed symbolic representations for model checking software programs"],"prefix":"10.1109","author":[{"family":"Zijiang Yang","sequence":"first","affiliation":[]},{"family":"Chao Wang","sequence":"additional","affiliation":[]},{"given":"A.","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"F.","family":"Ivancic","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"394","article-title":"Localization and register sharing for predicate abstraction","volume":"3440","author":"jain","year":"2005","journal-title":"LNCS"},{"key":"17","first-page":"297","article-title":"Model checking C programs using F-Soft","author":"ivanc?ic?","year":"2005","journal-title":"IEEE International Conference on Computer Design"},{"key":"18","first-page":"301","article-title":"F-SOFT: Software verification platform","volume":"3576","author":"ivanc?ic?","year":"2005","journal-title":"LNCS"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495196"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(00)00014-9"},{"key":"13","year":"0"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008678014487"},{"key":"11","first-page":"168","article-title":"A tool for checking ANSI-C programs","volume":"2988","author":"clarke","year":"2004","journal-title":"LNCS"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"21","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1090\/conm\/029\/11","article-title":"Combining satisfiability procedures by equalitysharing","volume":"29","author":"nelson","year":"1984","journal-title":"Contemporary Mathematics"},{"key":"20","author":"mcmillan","year":"1994","journal-title":"Symbolic Model Checking"},{"key":"22","author":"pugh","year":"0","journal-title":"The Omega project"},{"key":"23","year":"0"},{"key":"24","first-page":"340","article-title":"Spc: Synthesis of pointers in c: application of pointer analysis to the behavioral synthesis from c","author":"se?me?ria","year":"1998","journal-title":"International Conference on Computer-Aided Design"},{"key":"25","author":"somenzi","year":"0","journal-title":"CUDD CU Decision Diagram Package"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873645"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244049"},{"key":"28","first-page":"413","article-title":"Action language verifier, extended","volume":"3576","author":"yavuz-kahveci","year":"2005","journal-title":"LNCS"},{"key":"3","first-page":"21","article-title":"Approximate reachability analysis of piecewise-linear dynamical systems","volume":"1790","author":"asarin","year":"2000","journal-title":"LNCS"},{"key":"2","first-page":"146","article-title":"Bounded model checking of software using smt solvers instead of sat solvers","author":"armando","year":"2006","journal-title":"SPIN"},{"key":"10","author":"clarke","year":"2000","journal-title":"Model checking"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.01.006"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"6","first-page":"193","article-title":"Symbolic model checking without BDDs","volume":"1579","author":"biere","year":"1999","journal-title":"LNCS"},{"key":"5","article-title":"An overview of SAL","author":"bensalem","year":"2000","journal-title":"Proc Fifth NASA Langley Formal Methods Workshop"},{"key":"4","first-page":"113","article-title":"Bebop: A symbolic model checker for Boolean programs","volume":"1885","author":"ball","year":"2000","journal-title":"LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989834"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/332740.332746"}],"event":{"name":"Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06)","location":"Napa, CA, USA","acronym":"MEMCOD-06"},"container-title":["Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11148\/35734\/01695896.pdf?arnumber=1695896","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T05:30:51Z","timestamp":1497677451000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1695896\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/memcod.2006.1695896","relation":{},"subject":[]}}