Panda, A., Lahav, O., Argyraki, K., Sagiv, M. and Shenker, S. Verifying reachability in networks with mutable datapaths. NSDI 2017 699–718.