P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs.

Delong Zhang, Chong Ye, Fei He

Browse the full INFOCOM paper archive.