NETWORK VERIFICATION: WHEN HOARE MEETS CERF George Varghese and Nikolaj Bjørner Microsoft Research 1 FOR PUBLIC CLOUDS, PRIVATE CLOUDS, ENTERPRISE NETWORKS,