{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:21:43Z","timestamp":1740133303551,"version":"3.37.3"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"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\/ACM Trans. Networking"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1109\/tnet.2024.3422035","type":"journal-article","created":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T17:53:35Z","timestamp":1729706015000},"page":"4600-4614","source":"Crossref","is-referenced-by-count":0,"title":["VERCEL: Verification and Rectification of Configuration Errors With Least Squares"],"prefix":"10.1109","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5471-1308","authenticated-orcid":false,"given":"Abhiram","family":"Singh","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Mumbai, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0344-4937","authenticated-orcid":false,"given":"Sidharth","family":"Sharma","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Mumbai, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5180-5202","authenticated-orcid":false,"given":"Ashwin","family":"Gumaste","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Mumbai, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-0185-4_9"},{"key":"ref2","first-page":"43","article-title":"Detecting BGP configuration faults with static analysis","volume-title":"Proc. 2nd Conf. Symp. Netw. Syst. Design Implement. (NSDI)","author":"Feamster"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/633025.633027"},{"key":"ref4","first-page":"201","article-title":"Tiramisu: Fast multilayer network verification","volume-title":"Proc. 17th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Abhashkumar"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref6","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","volume-title":"Proc. 17th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Prabhu"},{"key":"ref7","first-page":"217","article-title":"Efficient network reachability analysis using a succinct control plane representation","volume-title":"Proc. 12th USENIX Symp. Oper. Syst. Design Implement. (OSDI)","author":"Fayaz"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230583"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594317"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620743"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342094"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"},{"key":"ref14","first-page":"87","article-title":"Libra: Divide and conquer to verify forwarding tables in huge networks","volume-title":"Proc. 11th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Zeng"},{"key":"ref15","first-page":"735","article-title":"Delta-net: Real-time network verification using atoms","volume-title":"Proc. USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Horn"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref17","first-page":"241","article-title":"APKeep: Realtime verification for real networks","volume-title":"Proc. 17th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Zhang"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49052-6_4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2019.8888144"},{"key":"ref20","first-page":"699","article-title":"Verifying reachability in networks with mutable datapaths","volume-title":"Proc. 14th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Panda"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"ref23","first-page":"113","article-title":"Header space analysis: Static checking for networks","volume-title":"Proc. 9th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Kazemian"},{"key":"ref24","first-page":"99","article-title":"Real time network policy checking using header space analysis","volume-title":"Proc. USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Kazemian"},{"key":"ref25","volume-title":"Introduction to Linear Algebra","volume":"3","author":"Strang","year":"1993"},{"volume-title":"Hassel-Public","year":"2014","author":"Kazemian","key":"ref26"},{"volume-title":"More Details About the October 4 Outage","year":"2021","author":"Janardhan","key":"ref27"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2307\/2324877"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-020-2649-2"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.25080\/tcwv9851"},{"volume-title":"Deltanet Datasets","year":"2017","author":"Horn","key":"ref31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/964725.633039"},{"volume-title":"Understanding Policy Routing","year":"2005","key":"ref33"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339690"},{"key":"ref37","first-page":"469","article-title":"A general approach to network configuration analysis","volume-title":"Proc. 12th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Fogel"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2009.32"},{"key":"ref39","first-page":"499","article-title":"Checking beliefs in dynamic networks","volume-title":"Proc. 12th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Lopes"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342088"},{"key":"ref41","first-page":"275","article-title":"BUZZ: Testing context-dependent policies in stateful networks","volume-title":"Proc. 13th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Fayaz"},{"key":"ref42","first-page":"617","article-title":"Katra: Realtime verification for multilayer networks","volume-title":"Proc. 19th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Beckett"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544246"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3493425.3502755"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/90\/10807683\/10731630.pdf?arnumber=10731630","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T06:49:38Z","timestamp":1734677378000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10731630\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12]]},"references-count":44,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2024.3422035","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"type":"print","value":"1063-6692"},{"type":"electronic","value":"1558-2566"}],"subject":[],"published":{"date-parts":[[2024,12]]}}}