{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:06:57Z","timestamp":1761581217380,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/latw.2014.6841906","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T17:26:12Z","timestamp":1406568372000},"page":"1-6","source":"Crossref","is-referenced-by-count":4,"title":["Optimized hybrid verification of embedded software"],"prefix":"10.1109","author":[{"given":"Jorg","family":"Behrend","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Gruenhage","sequence":"additional","affiliation":[]},{"given":"Douglas","family":"Schroeder","sequence":"additional","affiliation":[]},{"given":"Djones","family":"Lettnin","sequence":"additional","affiliation":[]},{"given":"Jurgen","family":"Ruf","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Kropf","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Rosenstiel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090847"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147097"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICASIC.2001.982504"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_40"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147096"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/11537328_4"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503291"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.82"},{"key":"20","article-title":"Bounded property checking with symbolic simulation","author":"ruf","year":"2003","journal-title":"FDL"},{"journal-title":"MISRA-The Motor Industry Software Reliability Association","year":"2000","key":"22"},{"key":"23","first-page":"259","article-title":"Scalable and extendable hybrid verification platform","author":"behrend","year":"2011","journal-title":"Methoden und Beschreibungssprachen zur Modellierung und Verikation von Schaltungen und Systemen"},{"key":"24","first-page":"213","article-title":"CIL: Intermediate language and tools for analysis and transformation of C programs","author":"necula","year":"2002","journal-title":"Computational Complexity"},{"key":"25","article-title":"Call graph visualization for c and tinyos programs","author":"shea","year":"2009","journal-title":"Dept of Computer Science School of Engineering UCLA"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775928"},{"key":"27","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/3-540-58179-0_72","article-title":"Another look at LTL model checking","volume":"818","author":"clarke","year":"1994","journal-title":"Conference on Computer Aided Verification (CAV) Ser Lecture Notes in Computer Science"},{"key":"28","first-page":"271","article-title":"Efficient and customizable integration of temporal properties into SystemC","author":"weiss","year":"2005","journal-title":"Forum on Specification & Design Languages (FDL)"},{"journal-title":"Gcov Coverage","year":"2010","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763039"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/s10009-007-0044-z","article-title":"The software model checker blast: Applications to software engineering","author":"beyer","year":"2007","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/381694.378846"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/b105739"},{"key":"30","first-page":"577","article-title":"The M'CORE(TM) M340 Unified Cache Architecture","year":"2000","journal-title":"ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design"},{"journal-title":"Bounded Model Checking for ANSI-C","year":"2009","author":"kroening","key":"7"},{"key":"6","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","article-title":"A tool for checking ANSI-C programs","author":"clarke","year":"2004","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"5","first-page":"825","article-title":"Satisfiability modulo theories, ser","volume":"185","author":"barrett","year":"2009","journal-title":"Frontiers in Artificial Intelligence and Applications"},{"key":"4","first-page":"25","article-title":"Optimized static parameter assignment for semiformal software verification","author":"gru?nhage","year":"2012","journal-title":"Methoden und Beschreibungssprachen zur Modellierung und Verikation von Schaltungen und Systemen"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.63"},{"key":"8","article-title":"Bounded model checking","volume":"58","author":"biere","year":"2003","journal-title":"Highly Dependable Software Ser Advances in Computers"}],"event":{"name":"2014 15th Latin American Test Workshop - LATW","start":{"date-parts":[[2014,3,12]]},"location":"Fortaleza, Brazil","end":{"date-parts":[[2014,3,15]]}},"container-title":["2014 15th Latin American Test Workshop - LATW"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6831761\/6841893\/06841906.pdf?arnumber=6841906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T13:27:04Z","timestamp":1498138024000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6841906\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/latw.2014.6841906","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}