Foundational Verification of Stateful P4 Packet Processing.

Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel

Browse the full ITP paper archive.