NETWORK VERIFICATION: WHEN HOARE MEETS CERF George Varghese and Nikolaj Bjørner Microsoft Research 1 FOR PUBLIC CLOUDS, PRIVATE CLOUDS, ENTERPRISE NETWORKS,
Gordana Danilović Grković, Nataša Babačev Novi Sad, May 25 2007.