Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin T. Vechev. Metha: Network Verifiers Need To Be Correct Too!. In James Mickens, Renata Teixeira, editors, 18th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2021, April 12-14, 2021. pages 99-113, USENIX Association, 2021. [doi]
Abstract is missing.