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]

Possibly Related Publications

The following publications are possibly variants of this publication: