Logic and verification

On the Complexity of Network-Wide Configuration Synthesis
Large-scale reconfiguraiton campaigns in internet networks typically introduce downtimes, decrease performance, and violate security policies. Snowcap solves this issue by safely and automatically reconfiguring the netowrk step-by-step.
Tibor Schneider, Roland Schmid, Laurent Vanbever
PDF Cite Code Project Slides DOI
Snowcap: Synthesizing Network-Wide Configuration Updates
Large-scale reconfiguraiton campaigns in internet networks typically introduce downtimes, decrease performance, and violate security policies. Snowcap solves this issue by safely and automatically reconfiguring the netowrk step-by-step.
Tibor Schneider, Rüdiger Birkner, Laurent Vanbever
PDF Cite Code Project Slides DOI