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
SIGCOMM '18
Budapest, Hungary
Association for Computing Machinery
New York, NY, USA
Pages 490-503
2018
SIGCOMM '18
Budapest, Hungary
Association for Computing Machinery
New York, NY, USA
Pages 490-503
2018