Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S. and Velner, Y. Modular Safety Verification for Stateful Networks. CoRR. abs/1708.05904.