{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:13:02Z","timestamp":1729653182553,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/latw.2011.5985923","type":"proceedings-article","created":{"date-parts":[[2011,8,16]],"date-time":"2011-08-16T15:29:25Z","timestamp":1313508565000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid verificatio of temporal properties in hardware dependent software"],"prefix":"10.1109","author":[{"given":"Djones","family":"Lettnin","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Rosenstiel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"},{"key":"ref11","first-page":"731","article-title":"Directed-simulation assisted formal verification of serial protocol and bridge","author":"gorai","year":"0","journal-title":"Proceedings of the 43rd Annual Design Automation Conference DAC"},{"key":"ref12","first-page":"737","article-title":"Guiding simulation with increasingly refned abstract traces","author":"nanshi","year":"2006","journal-title":"DAC"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244050"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICASIC.2001.982504"},{"key":"ref15","first-page":"164","article-title":"Verif cation of temporal properties in automotive embedded software","author":"lettnin","year":"2008","journal-title":"DATE"},{"key":"ref16","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"},{"journal-title":"MISRA-The Motor Industry Software Reliability Association","year":"2000","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1998.144288"},{"journal-title":"NEC Electronics (Europe) GmbH","year":"0","key":"ref19"},{"key":"ref4","article-title":"Semiformal verication of temporal properties in automotive hardware dependent software","author":"lettnin","year":"0","journal-title":"Proceedings of the Design Automation & Test in Europe Conference DATE"},{"key":"ref3","first-page":"65","article-title":"Model checking C source code for embedded systems","author":"schlich","year":"2005","journal-title":"IEEE INASA ISoLA 2005 NASA"},{"key":"ref6","article-title":"Bounded property checking with symbolic simulation","author":"ruf","year":"2003","journal-title":"FDL"},{"key":"ref5","article-title":"Effcient and customizable integration of temporal properties into SystemC","author":"weiss","year":"2005","journal-title":"FDL"},{"key":"ref8","first-page":"168","article-title":"A tool for checking ANSI-C programs","volume":"2988","author":"clarke","year":"2004","journal-title":"TACAS"},{"key":"ref7","article-title":"Transaction-based hardware software co-verification","author":"winterholer","year":"2006","journal-title":"FDL"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1007\/s10009-007-0044-z","article-title":"The software model checker Blast","volume":"9","author":"beyer","year":"2007","journal-title":"STTT"},{"journal-title":"Assertion-Based Design","year":"2004","author":"foster","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.77"}],"event":{"name":"2011 12th Latin American Test Workshop - LATW","start":{"date-parts":[[2011,3,27]]},"location":"Beach of Porto de Galinhas, Brazil","end":{"date-parts":[[2011,3,30]]}},"container-title":["2011 12th Latin American Test Workshop (LATW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5978853\/5985882\/05985923.pdf?arnumber=5985923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T00:48:37Z","timestamp":1497919717000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5985923\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/latw.2011.5985923","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}