Browsing Computation by Subject "Linguagem de programação"
Now showing items 1-1 of 1
-
Uncovering bugs in P4 programs with assertion based verification
(2018) [Dissertation]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 ...