Navegação Ciências Exatas e da Terra por Autor "Freire, Lucas Menezes"
Resultados 1-1 de 1
-
Uncovering bugs in P4 programs with assertion based verification
Freire, Lucas Menezes (2018) [Dissertação]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 ...