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 França (NOMS, 2020)