{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:56:33Z","timestamp":1761580593259},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/date.2008.4484680","type":"proceedings-article","created":{"date-parts":[[2008,4,15]],"date-time":"2008-04-15T22:15:51Z","timestamp":1208297751000},"page":"164-169","source":"Crossref","is-referenced-by-count":5,"title":["Verification of Temporal Properties in Automotive Embedded Software"],"prefix":"10.1109","author":[{"given":"Djones","family":"Lettnin","sequence":"first","affiliation":[]},{"given":"Pradeep K.","family":"Nalla","sequence":"additional","affiliation":[]},{"given":"Jurgen","family":"Ruf","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Kropf","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Rosenstiel","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Kirsten","sequence":"additional","affiliation":[]},{"given":"Volker","family":"Schonknecht","sequence":"additional","affiliation":[]},{"given":"Stephan","family":"Reitemeyer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","article-title":"transaction-based hardware software co-verification","author":"winterholer","year":"2006","journal-title":"FDL'06 Proceedings of the conference on Forum on Specification & Design Languages"},{"key":"15","first-page":"65","article-title":"model checking c source code for embedded systems","author":"schlich","year":"2005","journal-title":"IEEE\/NASA Workshop on Leveraging Applications of Formal Methods Verification and Validation (IEEE\/NASA ISoLA 2005)"},{"journal-title":"Software model checking with SLAM","year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915111"},{"journal-title":"SATABS - predicate abstraction with SAT for ANSI-C","year":"0","author":"satabs","key":"14"},{"journal-title":"NEC Electronics","year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268902"},{"year":"0","key":"3"},{"journal-title":"Co-Verification of Hardware and Software for Arm Soc Design","year":"2005","author":"andrews","key":"2"},{"journal-title":"Property Specification Language (PSL) Version 1 1","year":"2004","author":"accellera","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996655"},{"key":"7","article-title":"a tutorial introduction on the new systemc verification standard","author":"ip","year":"2003","journal-title":"White Paper"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_17"},{"journal-title":"System Design with SystemC","year":"2002","author":"gro?tker","key":"5"},{"journal-title":"CBMC Bounded Model Checking for ANSI-C","year":"0","key":"4"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.77"}],"event":{"name":"2008 Design, Automation and Test in Europe","start":{"date-parts":[[2008,3,10]]},"location":"Munich, Germany","end":{"date-parts":[[2008,3,14]]}},"container-title":["2008 Design, Automation and Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4475437\/4484624\/04484680.pdf?arnumber=4484680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T15:49:17Z","timestamp":1489679357000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4484680\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/date.2008.4484680","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}