VeriFlow: Verifying Network-Wide Invariants in Real Time.

Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, Philip Brighten Godfrey

Browse the full NSDI paper archive.