Liveness Verification of Stateful Network Functions. - Farnaz Yousefi; Anubhavnidhi Abhashkumar; Kausik Subramanian; Kartik Hans; Soudeh Ghorbani; Aditya Akella (NSDI, 2020)