{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T13:40:02Z","timestamp":1756215602267,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,4]],"date-time":"2024-08-04T00:00:00Z","timestamp":1722729600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2022YFB2901501"],"award-info":[{"award-number":["2022YFB2901501"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,4]]},"DOI":"10.1145\/3672199.3673887","type":"proceedings-article","created":{"date-parts":[[2024,7,23]],"date-time":"2024-07-23T06:50:26Z","timestamp":1721717426000},"page":"14-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Scaver: A Scalable Verification System for Programmable Network"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-3748-8089","authenticated-orcid":false,"given":"Ying","family":"Yao","sequence":"first","affiliation":[{"name":"PLA Information Engineering University, Zhengzhou, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0083-689X","authenticated-orcid":false,"given":"Zixi","family":"Cui","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, Zhengzhou, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5434-1781","authenticated-orcid":false,"given":"Le","family":"Tian","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, National Key Laboratory of advanced communication networks, Zhengzhou, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7723-5137","authenticated-orcid":false,"given":"Menglong","family":"Li","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, Zhengzhou, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2492-8976","authenticated-orcid":false,"given":"Fan","family":"Pan","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, Zhengzhou, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6522-2321","authenticated-orcid":false,"given":"Yuxiang","family":"Hu","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, National Key Laboratory of advanced communication networks, Zhengzhou, Henan, China"}]}],"member":"320","published-online":{"date-parts":[[2024,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620743"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405894"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3234200.3234220"},{"key":"e_1_3_2_1_4_1","unstructured":"The P4 Language Consortium. 2023. P4 16 Language Specification --- staging.p4.org. Online. https:\/\/staging.p4.org\/p4-spec\/docs\/P4-16-v1.2.4.html"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2935634.2935638"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373360.3380836"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185499"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3050228"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/3359012.3359025"},{"key":"e_1_3_2_1_11_1","first-page":"1","article-title":"In-band network telemetry via programmable dataplanes","volume":"15","author":"Kim Changhoon","year":"2015","unstructured":"Changhoon Kim, Anirudh Sivaraman, Naga Katta, Antonin Bas, Advait Dixit, Lawrence J Wobker, et al. 2015. In-band network telemetry via programmable dataplanes. In ACM SIGCOMM, Vol. 15. 1--2.","journal-title":"ACM SIGCOMM"},{"key":"e_1_3_2_1_12_1","volume-title":"18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)","author":"Lao ChonLam","year":"2021","unstructured":"ChonLam Lao, Yanfang Le, Kshiteej Mahajan, Yixi Chen, Wenfei Wu, Aditya Akella, and Michael Swift. 2021. {ATP}: In-network aggregation for multi-tenant learning. In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). 741--761."},{"key":"e_1_3_2_1_13_1","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)","author":"Lopes Nuno P","year":"2015","unstructured":"Nuno P Lopes, Nikolaj Bj\u00f8rner, Patrice Godefroid, Karthick Jayaraman, and George Varghese. 2015. Checking beliefs in dynamic networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). 499--512."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098824"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336771"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544247"}],"event":{"name":"ACM SIGCOMM '24: ACM SIGCOMM 2024 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Sydney NSW Australia","acronym":"ACM SIGCOMM '24"},"container-title":["Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672199.3673887","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3672199.3673887","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T13:21:59Z","timestamp":1756214519000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672199.3673887"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,4]]},"references-count":16,"alternative-id":["10.1145\/3672199.3673887","10.1145\/3672199"],"URL":"https:\/\/doi.org\/10.1145\/3672199.3673887","relation":{},"subject":[],"published":{"date-parts":[[2024,8,4]]},"assertion":[{"value":"2024-08-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}