Gerald Whitters, Haoyun Qin, Boon Thau Loo, Carolyn L. Talcott. On the Automated Verification of BGP Convergence. In Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney, editors, Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025. ACM, 2025. [doi]
Abstract is missing.