Navegação Computação por Assunto "Data Flow Testing"
Resultados 1-1 de 1
-
P4 switch code data flow analysis : towards stronger verification of forwarding plane software
(2020) [Dissertação]The advent of Domain Specific Languages (DSL) like POF and P4 has enabled for the first time network operators to quickly redefine how forwarding plane devices (e.g., switches) parse and process packets in a Software-Defined ...