{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T19:17:38Z","timestamp":1792264658351,"version":"4.4.0"},"reference-count":18,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"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":["Computer"],"published-print":{"date-parts":[[2024,7]]},"DOI":"10.1109\/mc.2024.3390948","type":"journal-article","created":{"date-parts":[[2024,6,27]],"date-time":"2024-06-27T19:59:17Z","timestamp":1719518357000},"page":"113-119","source":"Crossref","is-referenced-by-count":4,"title":["From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design"],"prefix":"10.1109","volume":"57","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-2886-0862","authenticated-orcid":false,"given":"Tabea","family":"Bordis","sequence":"first","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-9022-859X","authenticated-orcid":false,"given":"Maximilian","family":"Kodetzki","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7153-761X","authenticated-orcid":false,"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9426-4"},{"key":"ref2","volume-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27919-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3591335.3591343"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-49812-6","volume-title":"Deductive Software VerificationThe KeY Book. Cham, Switzerland","author":"Ahrendt","year":"2016"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16722-6_2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"ref9","volume-title":"CorC Repository","year":"2024"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08166-8_5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-61362-4_10"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3425898.3426959"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2022.101119"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377038"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-91550-6_8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54997-8_25"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3372020.3391565"}],"container-title":["Computer"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/2\/10574404\/10574405.pdf?arnumber=10574405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T05:17:04Z","timestamp":1719638224000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10574405\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":18,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/mc.2024.3390948","relation":{},"ISSN":["0018-9162","1558-0814"],"issn-type":[{"value":"0018-9162","type":"print"},{"value":"1558-0814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7]]}}}