Abstract: Physical communication links are determined between devices in a network of devices without human input. A network topology engine determines the physical communication links between devices in the network and constructs a network topology based on the determined physical communication links. The network topology engine infers the presence of each physical communication link from network traffic that is currently flowing in the network. The network topology engine collects reachability information from the network devices included in the network that are already stored by the network devices, such as device identification entries included in address resolution protocol tables and media access control address tables. The network topology engine populates a flow graph of potential physical links between network interfaces that is weighted based on the collected reachability.

Abstract: A system for managing a network using intent inference includes a network interface that is configured to obtain device information regarding a plurality of hardware devices within a data communication network. A processor is configured to infer intended packet handling behavior of a plurality of the devices. A network verification system models packet handling behavior of the devices within the network and compares the inferred intended behavior to the modeled packet handling behavior. The system can take action in response to the results of the comparison, which can include initiating a configuration change to one or more of the hardware devices of the data communication network.