{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:44:06Z","timestamp":1758271446769,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,5]]},"DOI":"10.1109\/dessert50317.2020.9125074","type":"proceedings-article","created":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T16:46:07Z","timestamp":1593103567000},"page":"371-375","source":"Crossref","is-referenced-by-count":2,"title":["On Hoare Triples Applicability to Dependable System Specification Synthesis"],"prefix":"10.1109","author":[{"given":"Vadym","family":"Shkarupylo","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Chemeris","sequence":"additional","affiliation":[]},{"given":"Valentyna","family":"Dusheba","sequence":"additional","affiliation":[]},{"given":"Ravil","family":"Kudermetov","sequence":"additional","affiliation":[]},{"given":"Andrii","family":"Oliinyk","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2019.02.003"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_16"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2017.08.002"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI-C.2010.32"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.59"},{"key":"ref15","first-page":"1342","article-title":"Practical applications of model checking in the Finnish nuclear industry","author":"pakonen","year":"2017","journal-title":"10th International Topical Meeting on Nuclear Plant Instrumentation Control and Human Machine Interface Technologies"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19458-5_4"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23939\/acps2018.01.051"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"journal-title":"Specifying Systems The TLA+ Language and Tools for Hardware and Software Engineers","year":"2002","author":"lamport","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2017.43"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03466-4_2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2979894"},{"key":"ref7","first-page":"50","article-title":"The TLA+ toolbox. formal integrated development environment","author":"kuppe","year":"2019","journal-title":"5th Workshop on Formal Integrated Development Environments (F-IDE 2019)"},{"journal-title":"Model checking","year":"2018","author":"clarke","key":"ref2"},{"year":"2010","key":"ref1","article-title":"IEC 61508 Edition 2.0. Functional safety of electrical\/electronic\/programmable electronic safety-related systems"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/s10703-018-0321-3","article-title":"Finite-trace linear temporal logic: coinductive completeness","volume":"53","author":"ro?u","year":"2018","journal-title":"Formal Methods in System Design"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOMMST.2018.8632037"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/PICST47496.2019.9061406"}],"event":{"name":"2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT)","start":{"date-parts":[[2020,5,14]]},"location":"Kyiv, Ukraine","end":{"date-parts":[[2020,5,18]]}},"container-title":["2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9122248\/9124995\/09125074.pdf?arnumber=9125074","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T12:10:50Z","timestamp":1656331850000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9125074\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/dessert50317.2020.9125074","relation":{},"subject":[],"published":{"date-parts":[[2020,5]]}}}