{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T23:54:05Z","timestamp":1768262045101,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,12,13]],"date-time":"2026-12-13T00:00:00Z","timestamp":1797120000000},"content-version":"vor","delay-in-days":459,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["IIS-2436080"],"award-info":[{"award-number":["IIS-2436080"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,10]]},"DOI":"10.1145\/3756907.3756920","type":"proceedings-article","created":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T09:19:11Z","timestamp":1765617551000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Automated Verification of BGP Convergence"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-2460-1409","authenticated-orcid":false,"given":"Haoyun","family":"Qin","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7721-8196","authenticated-orcid":false,"given":"Gerald","family":"Whitters","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4757-1746","authenticated-orcid":false,"given":"Boon","family":"Loo","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2845-7144","authenticated-orcid":false,"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,12,13]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80410-9"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.5555\/1808998"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","unstructured":"Matthew\u00a0L. Daggitt and Timothy\u00a0G. Griffin. 2024. Formally Verified Convergence of Policy-Rich DBF Routing Protocols. IEEE\/ACM Trans. Netw. 32 2 (2024) 1645\u20131660. 10.1109\/TNET.2023.3326336","DOI":"10.1109\/TNET.2023.3326336"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Lixin Gao and Jennifer Rexford. 2000. Stable Internet routing without global coordination. SIGMETRICS Perform. Eval. Rev. 28 1 (June 2000) 307\u2013317. 10.1145\/345063.339426","DOI":"10.1145\/345063.339426"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","unstructured":"Timothy\u00a0G. Griffin F.\u00a0Bruce Shepherd and Gordon Wilfong. 2002. The stable paths problem and interdomain routing. IEEE\/ACM Trans. Netw. 10 2 (April 2002) 232\u2013243. 10.1109\/90.993304","DOI":"10.1109\/90.993304"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080094"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","unstructured":"Timothy\u00a0G. Griffin and Gordon Wilfong. 1999. An analysis of BGP convergence properties. SIGCOMM Comput. Commun. Rev. 29 4 (Aug. 1999) 277\u2013288. 10.1145\/316194.316231","DOI":"10.1145\/316194.316231"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","unstructured":"Ratul Mahajan David Wetherall and Tom Anderson. 2002. Understanding BGP misconfiguration. SIGCOMM Comput. Commun. Rev. 32 4 (Aug. 2002) 3\u201316. 10.1145\/964725.633027","DOI":"10.1145\/964725.633027"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","unstructured":"Yakov Rekhter Susan Hares and Tony Li. 2006. A Border Gateway Protocol 4 (BGP-4). RFC 4271. 10.17487\/RFC4271","DOI":"10.17487\/RFC4271"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-12441-914"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/863955.863963"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20528-7_5"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2014.6847989"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_20"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21461-5_22"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","unstructured":"Ping Yin Yinxue Ma and Zhe Chen. 2014. Model Checking the Convergence Property of BGP Networks. J. Softw. 9 6 (2014) 1619\u20131625. 10.4304\/JSW.9.6.1619-1625","DOI":"10.4304\/JSW.9.6.1619-1625"}],"event":{"name":"PPDP '25: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming","location":"Rende Italy","acronym":"PPDP '25"},"container-title":["Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3756907.3756920","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3756907.3756920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T18:57:02Z","timestamp":1768244222000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3756907.3756920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,10]]},"references-count":17,"alternative-id":["10.1145\/3756907.3756920","10.1145\/3756907"],"URL":"https:\/\/doi.org\/10.1145\/3756907.3756920","relation":{},"subject":[],"published":{"date-parts":[[2025,9,10]]},"assertion":[{"value":"2025-12-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}