Some Complexity Results for Stateful Network Verification [pdf]
Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham
In TACAS 2016 (22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, April 2016, Eindhoven, The Netherlands)
Fall '16. 0368-3174. Techniques for Improving Software Productivity.
Fall '16. 0368-3245. Computer Science Learning in the Community.
Safety Verification of Stateful Networks [pdf]
Under the supervision of Prof. Mooly Sagiv and Dr. Sharon Shoham
Tel Aviv University (Submitted June 2016)