{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:42:00Z","timestamp":1759333320969,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,4,19]],"date-time":"2021-04-19T00:00:00Z","timestamp":1618790400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,4,19]],"date-time":"2021-04-19T00:00:00Z","timestamp":1618790400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,4,19]],"date-time":"2021-04-19T00:00:00Z","timestamp":1618790400000},"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":[[2021,4,19]]},"DOI":"10.1109\/drcn51631.2021.9477393","type":"proceedings-article","created":{"date-parts":[[2021,7,12]],"date-time":"2021-07-12T17:47:52Z","timestamp":1626112072000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Compositional model checking of an SDN platform"],"prefix":"10.1109","author":[{"given":"Abdul","family":"Majith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ocan","family":"Sankur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herve","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dinh Thai","family":"Bui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/FAS-W.2019.00065"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283093"},{"key":"ref10","first-page":"10","article-title":"A nice way to test openflow applications","author":"canini","year":"2012","journal-title":"8th USENIX Conference on Networked Systems Design and Implementation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679403"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594317"},{"key":"ref13","first-page":"15","article-title":"Veriflow: Verifying network-wide invariants in real time","author":"k a","year":"2013","journal-title":"Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation NSDI 2013 Lombard IL USA April 2–5 2013"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2013.6733666"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737980"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_14"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837657"},{"journal-title":"Open Vswitch","year":"2016","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16042-6_21"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1109\/DRCN51631.2021.9477393","article-title":"Compositional model checking of SDN platform","author":"majith","year":"2021"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82453-1_5"},{"article-title":"Open access Repository for “Compositional model checking of an SDN platform”:Spin source codes","year":"0","author":"majith","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/PDMC-HiBi.2010.13"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987609"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"ref7","first-page":"113","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"9th USENIX Symposium on Networked Systems Design and Implementation"},{"key":"ref2","volume":"1003","author":"holzmann","year":"2004","journal-title":"The SPIN Model Checker Primer and Reference Manual"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491201"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ITC.2015.33"},{"journal-title":"OpenFlow Switch Specification - version 1 5 0","year":"2014","key":"ref20"},{"journal-title":"Open vswitch advanced features","year":"2016","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/APNOMS.2017.8094187"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2016.7502441"},{"key":"ref26","first-page":"321","article-title":"Specification and design of (parallel) programs","volume":"83","author":"jones","year":"1983","journal-title":"IFIP Congress"},{"key":"ref25","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"de giacomo","year":"2013","journal-title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence ser IJCAI ‘13"}],"event":{"name":"2021 17th International Conference on the Design of Reliable Communication Networks (DRCN)","start":{"date-parts":[[2021,4,19]]},"location":"Milano, Italy","end":{"date-parts":[[2021,4,22]]}},"container-title":["2021 17th International Conference on the Design of Reliable Communication Networks (DRCN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9477293\/9477310\/09477393.pdf?arnumber=9477393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T11:43:20Z","timestamp":1652183000000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9477393\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,19]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/drcn51631.2021.9477393","relation":{},"subject":[],"published":{"date-parts":[[2021,4,19]]}}}