Abstract: Embodiments of systems and methods for network modelling include determining a device representation of each device on a network. A normalized device representation associated with a device representation of each device is determined using a library of device representation parser functions. A static network map of the network is generated based on each normalized device representation. A routing protocol peering session is established between each device and a routing protocol server using a routing protocol. A status of each device and each link is determined based on updates from each routing protocol peering session. A live map of the network is generated based on the status of each device. Configuration errors and network errors are determined based at least in part on the static network map and the live map, and routing errors are determined based at least in part on a comparison between protocol prefixes and predetermined network invariants.