Browsing Computation by Author "Vassoler, Gabriel"
Now showing items 1-1 of 1
-
VERMONT : an In-band telemetry-based approach for live network property verification
Vassoler, Gabriel (2023) [Dissertation]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 ...