P4 Switch Code Data Flow Analysis: Towards Stronger Verification of Forwarding Plane Software.

Karine Birnfeld, Diogo Campos da Silva, Weverton Cordeiro, Breno Bernard Nicolau de Frana

Browse the full NOMS paper archive.