{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:03:15Z","timestamp":1730224995010,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2005.1568843","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T23:42:54Z","timestamp":1137627774000},"page":"237-244","source":"Crossref","is-referenced-by-count":10,"title":["A proof of correctness for the construction of property monitors"],"prefix":"10.1109","author":[{"given":"K.","family":"Morin-Allory","sequence":"first","affiliation":[]},{"given":"D.","family":"Borrione","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"15"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/11560548_35"},{"year":"0","key":"11"},{"year":"0","key":"12"},{"journal-title":"Property specification language Reference manual","year":"2003","author":"accellera","key":"3"},{"journal-title":"Using PSL\/Sugar for Formal and Dynamic Verification","year":"2004","author":"cohen","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4"},{"journal-title":"PVS Prover Guide","year":"2001","author":"shankar","key":"10"},{"key":"7","article-title":"An Operational Semantics for Weak PSL","volume":"3312","author":"claessen","year":"2004","journal-title":"LNCS"},{"key":"6","article-title":"Executing the formal semantics of the Accellera Property Specification Language by mechanised theorem proving","volume":"2860","author":"gordon","year":"2003","journal-title":"LNCS"},{"journal-title":"Guide to sugar formal specification language","year":"2000","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-4998-9_1"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ITICT.2005.1609621"},{"journal-title":"Property Specification Language Reference Manual Version 1 1","year":"2004","key":"8"}],"event":{"name":"Tenth IEEE International High-Level Design Validation and Test Workshop, 2005.","location":"Napa Valley, CA, USA"},"container-title":["Tenth IEEE International High-Level Design Validation and Test Workshop, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10490\/33246\/01568843.pdf?arnumber=1568843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T21:10:37Z","timestamp":1489525837000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1568843\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2005.1568843","relation":{},"subject":[]}}