p4v: Practical verification for programmable data planes

Jed Liu, William Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Călin Caşcaval, Nick McKeown, Nate Foster
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication
Budapest, Hungary
Association for Computing Machinery
New York, NY, USA
Pages 490-503