1 paper
Shengyi Wang, Mengying Pan, Andrew W. Appel
To prove the functional correctness of a P4 program running in a programmable network switch or smart NIC, prior works have focused mainly on verifiers for the "control block" (mat…