Predicting Specification Violations During BGP Convergence.

Roland Schmid Tibor Schneider Georgia Fragkouli Laurent Vanbever

Published in: StudentWorkshop@CoNEXT (2023)

Keyphrases

anomaly detection
high level
convergence rate
knowledge base
real world
information systems
specification language
real time
information retrieval
metadata
case study
formal specification
iterative algorithms
convergence theorem