GENERATING A NETWORK-WIDE LOGICAL MODEL FOR NETWORK POLICY ANALYSIS

Systems, methods, and computer-readable media for generating a network-wide logical model of a network. In some examples, a system obtains, from a plurality of controllers in a network, respective logical model segments associated with the network, each of the respective logical model segments including configurations at a respective one of the plurality of controllers for the network, the respective logical model segments being based on a schema defining manageable objects and object properties for the network. The system determines whether the plurality of controllers are in quorum and, when the plurality of controllers are in quorum, combines the respective logical model segments associated with the network to yield a network-wide logical model of the network, the network-wide logical model including configurations across the plurality of controllers for the network.