Some Complexity Results for Stateful Network Verification.

Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham

Browse the full TACAS paper archive.