Network Verification: Past, Present, and Future

POPL 2020