p4v: Practical Verification for Programmable Data Planes
Informazioni aggiuntive
Autori
Cascaval C.,
Foster N.,
Hallahan W.,
Lee J.,
Liu J.,
McKeown N.,
Schlesinger C.,
Sharif M.,
Soulé R.,
Wang H.
Tipo
Atti di conferenza
Anno
2018
Lingua
Inglese
Editore
ACM SIGCOMM
Nome conferenza
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM ’18)