Metha: Network Verifiers Need To Be Correct Too!

Rdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin T. Vechev

Browse the full NSDI paper archive.