{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T16:00:49Z","timestamp":1774022449839,"version":"3.50.1"},"reference-count":15,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T00:00:00Z","timestamp":1693526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T00:00:00Z","timestamp":1693526400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T00:00:00Z","timestamp":1693526400000},"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":["IEEE Network"],"published-print":{"date-parts":[[2023,9]]},"DOI":"10.1109\/mnet.124.2200127","type":"journal-article","created":{"date-parts":[[2022,12,5]],"date-time":"2022-12-05T22:21:00Z","timestamp":1670278860000},"page":"145-153","source":"Crossref","is-referenced-by-count":15,"title":["Full-Life Cycle Intent-Driven Network Verification: Challenges and Approaches"],"prefix":"10.1109","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4559-6963","authenticated-orcid":false,"given":"Yanbo","family":"Song","sequence":"first","affiliation":[{"name":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7120-1801","authenticated-orcid":false,"given":"Chungang","family":"Yang","sequence":"additional","affiliation":[{"name":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China"}]},{"given":"Jiaming","family":"Zhang","sequence":"additional","affiliation":[{"name":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8320-5137","authenticated-orcid":false,"given":"Xinru","family":"Mi","sequence":"additional","affiliation":[{"name":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7442-7416","authenticated-orcid":false,"given":"Dusit","family":"Niyato","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Nanyang Technological University, Jurong West, Singapore"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2020.3033588"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.23919\/CNSM.2017.8256016"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2969208"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3342280.3342315"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3143361.3143380"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3229584.3229590"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3432063"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3391812.3396269"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2017.2763187"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2019.8888144"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2018.2793765"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN52240.2021.9522299"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CNSM.2016.7818446"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCC52777.2021.9580197"}],"container-title":["IEEE Network"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/65\/10449707\/09970358.pdf?arnumber=9970358","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T21:35:48Z","timestamp":1710365748000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9970358\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":15,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/mnet.124.2200127","relation":{},"ISSN":["0890-8044","1558-156X"],"issn-type":[{"value":"0890-8044","type":"print"},{"value":"1558-156X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9]]}}}