{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:25:44Z","timestamp":1729621544095,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/compsac.2017.16","type":"proceedings-article","created":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T20:50:36Z","timestamp":1505163036000},"page":"517-522","source":"Crossref","is-referenced-by-count":4,"title":["A Framework for User-Friendly Verification-Oriented VNF Modeling"],"prefix":"10.1109","author":[{"given":"Guido","family":"Marchetto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Sisto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Virgilio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jalolliddin","family":"Yusupov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"ref3","first-page":"748","article-title":"Pvs: A prototype verification system","author":"owre","year":"1992","journal-title":"Automated Deduction CADE-11 11th International Conference on Automated Deduction"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"ref6","first-page":"253","article-title":"Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context","author":"spinoso","year":"2015","journal-title":"Service Oriented and Cloud Computing ? 4th European Conference ESOCC 2015"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1145\/2934872.2934881","article-title":"Scalable Symbolic Execution for Modern Networks","author":"stoenescu","year":"2016","journal-title":"Proceedings of the 2016 ACM conference on SIGCOMM"},{"key":"ref12","first-page":"275","article-title":"BUZZ: Testing Context-Dependent Policies in Stateful Networks","author":"fayaz","year":"2016","journal-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)"},{"journal-title":"Eclipse JDT API Specification","year":"0","key":"ref8"},{"key":"ref7","first-page":"337","article-title":"Z3: An Efficient SMT Solver","author":"de moura","year":"2008","journal-title":"Proceedings of the Theory and Practice of Software 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Ser TACAS'08\/ETAPS'08"},{"key":"ref2","first-page":"499","article-title":"Checking beliefs in dynamic networks","author":"lopes","year":"2015","journal-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)"},{"key":"ref9","first-page":"317","volume":"40","author":"enderton","year":"2001","journal-title":"A Mathematical Introduction to Logic"},{"key":"ref1","first-page":"1","article-title":"Network Functions Virtualisation (NFV); Terminology","volume":"1","year":"2013","journal-title":"IEEE Network"}],"event":{"name":"2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC)","start":{"date-parts":[[2017,7,4]]},"location":"Turin","end":{"date-parts":[[2017,7,8]]}},"container-title":["2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8027037\/8029571\/08029653.pdf?arnumber=8029653","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T17:50:29Z","timestamp":1659462629000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8029653\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/compsac.2017.16","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}