{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T20:47:14Z","timestamp":1778964434236,"version":"3.51.4"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"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":[[2019,6]]},"DOI":"10.1109\/ntms.2019.8763832","type":"proceedings-article","created":{"date-parts":[[2019,7,16]],"date-time":"2019-07-16T00:25:18Z","timestamp":1563236718000},"page":"1-6","source":"Crossref","is-referenced-by-count":50,"title":["Survey of Formal Verification Methods for Smart Contracts on Blockchain"],"prefix":"10.1109","author":[{"given":"Yvonne","family":"Murray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David A.","family":"Anisi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"142","author":"bigi","year":"2015","journal-title":"Validation of Decentralised Smart Contracts through Game Theory and Formal Method"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref12","author":"hirai","year":"2016","journal-title":"Formal verification of Deed contract in Ethereum name service"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3185089.3185138"},{"key":"ref14","year":"0","journal-title":"Mythril"},{"key":"ref15","year":"2017","journal-title":"Jelurida Ardor\/IGNIS Whitepaper"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198571001.001.0001","author":"chiswell","year":"2007","journal-title":"Mathematical Logic"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-5888-2.ch705"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"ref5","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00185"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1145\/3167084","article-title":"Towards Verifying Ethereum Smart Contract Bytecode in Isabelle\/HOL","author":"amani","year":"2018","journal-title":"Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-2604-9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-2535-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2018.8328737"}],"event":{"name":"2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)","location":"CANARY ISLANDS, Spain","start":{"date-parts":[[2019,6,24]]},"end":{"date-parts":[[2019,6,26]]}},"container-title":["2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8758829\/8763770\/08763832.pdf?arnumber=8763832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,21]],"date-time":"2024-07-21T00:00:55Z","timestamp":1721520055000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8763832\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ntms.2019.8763832","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}