p4v: Practical Verification for Programmable Data Planes
Additional information
Authors
Cascaval C.,
Foster N.,
Hallahan W.,
Lee J.,
Liu J.,
McKeown N.,
Schlesinger C.,
Sharif M.,
Soulé R.,
Wang H.
Type
Conference proceedings
Year
2018
Language
English
Publisher
ACM SIGCOMM
Meeting name
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM ’18)