Navegação Computação por Autor "Vassoler, Gabriel"
Resultados 1-1 de 1
-
VERMONT : an In-band telemetry-based approach for live network property verification
Vassoler, Gabriel (2023) [Dissertação]The verification of network properties is often an exhaustive and time-consuming effort. The number of configurations needed to be analyzed by static verification increases as the networks grow larger, and the processing ...