NETWORK VERIFICATION: WHEN HOARE MEETS CERF George Varghese and Nikolaj Bjørner Microsoft Research 1 FOR PUBLIC CLOUDS, PRIVATE CLOUDS, ENTERPRISE NETWORKS,
Network Verification Star Wars amd The Empire Strikes Back.