Listar Tesis de Doctorado y Maestría por autor "Freire, Lucas Menezes"
Mostrando ítems 1-1 de 1
-
Uncovering bugs in P4 programs with assertion based verification
Freire, Lucas Menezes (2018) [Tesis de maestría]Recent trends in software-defined networking have extended network programmability to the data plane through programming languages such as P4. Unfortunately, the chance of introducing bugs in the network also increases ...