{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:37:47Z","timestamp":1772044667472,"version":"3.50.1"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T00:00:00Z","timestamp":1698019200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T00:00:00Z","timestamp":1698019200000},"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":[[2023,10,23]]},"DOI":"10.1109\/sds59856.2023.10328964","type":"proceedings-article","created":{"date-parts":[[2023,12,4]],"date-time":"2023-12-04T18:45:53Z","timestamp":1701715553000},"page":"89-94","source":"Crossref","is-referenced-by-count":6,"title":["Natural Language-Based Model-Checking Framework for Move Smart Contracts"],"prefix":"10.1109","author":[{"given":"Keerthi","family":"Nelaturu","sequence":"first","affiliation":[{"name":"University of Toronto,Department of Electrical & Computer Engineering,Toronto,Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Keilty","sequence":"additional","affiliation":[{"name":"University of Toronto,Department of Electrical & Computer Engineering,Toronto,Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Veneris","sequence":"additional","affiliation":[{"name":"University of Toronto,Department of Electrical & Computer Engineering,Toronto,Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2020.102857"},{"key":"ref2","first-page":"1","article-title":"Smart contract vulnerabilities: Does anyone care","author":"Perez","year":"2019","journal-title":"arXiv preprint"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-9942-8_68"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/PST47121.2019.8949045"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain55522.2022.00016"},{"key":"ref8","article-title":"Move: A language with programmable resources","author":"Blackshear","year":"2019","journal-title":"Libra Assoc."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS54813.2022.9930214"},{"key":"ref10","article-title":"Next generation (meta)modeling: Web- and cloud-based collaborative tool infrastructure","author":"Mar\u00f3ti","journal-title":"MPM@MoDELS, 2014."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-58387-6_28"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.27"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"ref14","volume-title":"Principles of Model Checking (Representation and Mind Series).","author":"Baier","year":"2008"},{"key":"ref15","article-title":"Smartcondetect: Highly accurate smart contract code vulnerability detection mechanism using bert","volume-title":"KDD Workshop on Programming Language Processing, 2021.","author":"Jeon"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/454"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3457337.3457841"},{"key":"ref18","author":"Lutz","year":"2021","journal-title":"Escort: ethereum smart contracts vulnerability detection using deep neural network and transfer learning"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SCC53864.2021.00043"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE52982.2021.00047"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-68449-5_31"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598091"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00183"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-19-7663-6_70"}],"event":{"name":"2023 Tenth International Conference on Software Defined Systems (SDS)","location":"San Antonio, TX, USA","start":{"date-parts":[[2023,10,23]]},"end":{"date-parts":[[2023,10,25]]}},"container-title":["2023 Tenth International Conference on Software Defined Systems (SDS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10328971\/10328957\/10328964.pdf?arnumber=10328964","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T18:34:12Z","timestamp":1707244452000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10328964\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,23]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/sds59856.2023.10328964","relation":{},"subject":[],"published":{"date-parts":[[2023,10,23]]}}}