Ryan Beckett, Aarti Gupta. Katra: Realtime Verification for Multilayer Networks. In Amar Phanishayee, Vyas Sekar, editors, 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022, Renton, WA, USA, April 4-6, 2022. pages 617-634, USENIX Association, 2022. [doi]
Abstract is missing.