Some complexity results for stateful network verification

Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner. Some complexity results for stateful network verification. Formal Methods in System Design, 54(2):191-231, 2019. [doi]

No reviews for this publication, yet.