Modal and temporal logics

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.