Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S. and Velner, Y. Abstract Interpretation of Stateful Networks. Static Analysis – International Symposium SAS 2018.