Method and system for verifying correctness of networking aspects of an Information Technology (IT) system that includes a host network of hosts. The hosts include servers and firewalls. A firewall connectivity indication of whether the host network includes an isolated firewall or a cross-zone connected...http://www.google.de/patents/US7937462?utm_source=gb-gplus-sharePatent US7937462 - Verification of correctness of networking aspects of an information technology system
