{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T17:56:37Z","timestamp":1725386197694},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/hldvt.2011.6114169","type":"proceedings-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T19:31:55Z","timestamp":1325878315000},"page":"80-80","source":"Crossref","is-referenced-by-count":0,"title":["Interactive presentation abstract: Assertion-based verification in embedded-software design"],"prefix":"10.1109","author":[{"given":"Giuseppe","family":"Di Guglielmo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Di Guglielmo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8586-4"},{"journal-title":"IEEE Standard for Property Specification Language (PSL) (IEEE Std 1850-2010)","first-page":"1","year":"2010","key":"2"},{"journal-title":"Assertion-Based Design","year":"2004","author":"foster","key":"1"},{"key":"5","first-page":"468","article-title":"DDPSL: An Easy Way of Defining Properties","author":"di guglielmo","year":"0","journal-title":"Proc of IEEE International Conference on Computer Design (ICCD) 2010"},{"journal-title":"radCHECK","year":"0","key":"4"}],"event":{"name":"2011 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2011,11,9]]},"location":"Napa Valley, CA, USA","end":{"date-parts":[[2011,11,11]]}},"container-title":["2011 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093762\/6113979\/06114169.pdf?arnumber=6114169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T17:30:32Z","timestamp":1490117432000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6114169\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2011.6114169","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}