{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:52:37Z","timestamp":1725569557496},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/memcod.2009.5185373","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T19:09:22Z","timestamp":1250017762000},"page":"8-17","source":"Crossref","is-referenced-by-count":2,"title":["Bang for the buck: Improvising and scheduling verification engines for effective resource utilization"],"prefix":"10.1109","author":[{"given":"Malay K.","family":"Ganai","sequence":"first","affiliation":[]},{"family":"Weihong Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"static determination of dynamic properties of programs","author":"cousot","year":"1976","journal-title":"International Symposium on Programming"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1233501.1233664"},{"key":"18","article-title":"a survey of program slicing techniques","author":"tip","year":"1995","journal-title":"J Program Lang"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"13","article-title":"smart simulation using collaborative formal and simulation engines","author":"ho","year":"2000","journal-title":"Proc of ICCAD"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2004.1347530"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1023\/A:1011189608077","article-title":"siva: a system for coverage directed state space search","author":"ganai","year":"2001","journal-title":"Journal of Electronic Testing Theory and Applications"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277201"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382631"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.925777"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_40"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695896"},{"key":"24","article-title":"diver: sat-based model checking platform for verifying large scale systems","author":"ganai","year":"2005","journal-title":"Proc of TACAS"},{"key":"25","article-title":"the mathsat 3 system","author":"bozzano","year":"2005","journal-title":"Proc of CADE"},{"key":"26","article-title":"a fast linear-arithmetic solver for dpll(t)","author":"dutertre","year":"2006","journal-title":"Proc of CAV"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/332740.332746"},{"key":"28","article-title":"abstraction-guided test generation: a case study","author":"ball","year":"2003","journal-title":"Technical Report MSR-TR-2003-86"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/368122.368878"},{"key":"3","article-title":"symbolic model checking without bdds","author":"biere","year":"1999","journal-title":"Proc of TACAS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74061-2_23"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"1"},{"journal-title":"Yices An SMT Solver","year":"0","key":"30"},{"key":"7","article-title":"f-soft: software verification platform","author":"ivanc?ic?","year":"2005","journal-title":"Proc of CAV"},{"key":"6","article-title":"the slam toolkit","author":"ball","year":"2001","journal-title":"Proc of CAV"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125848"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-69167-1","author":"ganai","year":"2007","journal-title":"SAT-based Scalable Formal Verification Solutions"},{"key":"31","article-title":"combining strengths of circuit-based and cnf-based algorithms for a high-performance sat solver","author":"ganai","year":"2002","journal-title":"Proc of DAC"},{"key":"4","article-title":"checking safety properties using induction and a sat solver","author":"sheeran","year":"2000","journal-title":"Proc of FMCAD"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"}],"event":{"name":"2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","start":{"date-parts":[[2009,7,13]]},"location":"Cambridge, MA, USA","end":{"date-parts":[[2009,7,15]]}},"container-title":["2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185373.pdf?arnumber=5185373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T22:43:27Z","timestamp":1497825807000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5185373\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/memcod.2009.5185373","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}