Network-wide configuration synthesis

DOI10.1007/978-3-319-63390-9_14zbMath1494.68018arXiv1611.02537OpenAlexW2552298303MaRDI QIDQ2164228

Ahmed El-Hassany, Laurent Vanbever, Martin Vechev, Petar Tsankov

Publication date: 12 August 2022

Full work available at URL: https://arxiv.org/abs/1611.02537

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12)

Related Items

Faster pushdown reachability analysis with applications in network verification ⋮ Model Checking Data Flows in Concurrent Network Updates ⋮ Resilient capacity-aware routing