Modular Safety Verification for Stateful Networks

@article{Alpernas2017ModularSV,
  title={Modular Safety Verification for Stateful Networks},
  author={Kalev Alpernas and Roman Manevich and Aurojit Panda and Shmuel Sagiv and Scott Shenker and Sharon Shoham and Yaron Velner},
  journal={CoRR},
  year={2017},
  volume={abs/1708.05904}
}