{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:01:00Z","timestamp":1730221260076,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/ewdts.2013.6673160","type":"proceedings-article","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T14:45:40Z","timestamp":1386168340000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["Invariant-oriented verification of HDL-based safety critical systems"],"prefix":"10.1109","author":[{"given":"V.","family":"Kharchenko","sequence":"first","affiliation":[]},{"given":"B.","family":"Konorev","sequence":"additional","affiliation":[]},{"given":"V.","family":"Sklyar","sequence":"additional","affiliation":[]},{"given":"L.","family":"Reva","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Safety of Machinery Functional Safety of Safety-related E\/E\/PE Control Systems","year":"2005","key":"3"},{"journal-title":"Medical Device Software - Software Life-cycle Processes","year":"0","key":"2"},{"key":"10","article-title":"Invariant-based assessment of space systems software safety","author":"konorev","year":"2009","journal-title":"National Aerospace University \"KhAI\""},{"journal-title":"Review Guidelines for Field-Programmable Gate Arrays in Nuclear Power Plant Safety Systems","year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2010.5742120"},{"key":"6","first-page":"24","article-title":"Quantitative verification of system safety in Evenr-B","author":"tarasyuk","year":"2011","journal-title":"Third Int Workshop"},{"key":"5","article-title":"Formal techniques for system C verification","author":"vardirice","year":"2007","journal-title":"DAC '07 Proceedings of the 44th annual conference on Design automation"},{"key":"4","article-title":"Applications of model checking formulti-agent systems: Verification of diagnosability and recoverability","author":"cimatti","year":"2005","journal-title":"Proc Int Work Concurrency Specification and Programming"},{"key":"9","article-title":"Principles of formal methods integration for development fault-tolerant systems: Event-B and FME(C)A","volume":"1","author":"tarasyuk","year":"2009","journal-title":"MASAUM Journal of Computing"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2011.6116608"}],"event":{"name":"2013 11th East-West Design and Test Symposium (EWDTS)","start":{"date-parts":[[2013,9,27]]},"location":"Rostov-on-Don, Russia","end":{"date-parts":[[2013,9,30]]}},"container-title":["East-West Design & Test Symposium (EWDTS 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6663756\/6673074\/06673160.pdf?arnumber=6673160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T18:08:23Z","timestamp":1490206103000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6673160\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2013.6673160","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}