Treffer: S2: A Distributed Configuration Verifier for Hyper-Scale Networks

Title:
S2: A Distributed Configuration Verifier for Hyper-Scale Networks
Authors:
Wang, Dan, Zhang, Peng, Sun, Wenbing, Li, Wenkai, Feng, Xing, Li, Hao, Chen, Jiawei, Jiang, Weirong, Tang, Yongping
Source:
Proceedings of the ACM SIGCOMM 2025 Conference. :796-808
Availability:
http://dl.acm.org/doi/10.1145/3718958.3750516
Database:
ACM Full-Text Collection