A computer-implemented method for a computer network, the method comprising: receiving a plurality of models (270A, 270B, 272, 274, 276) of network intents comprising: a logical model of network intents representing the logical configuration of the network at a device in the network, a concrete model of network intents representing the in-state configuration of the network at the network device, and a hardware model of network intents representing network traffic processing rules stored at the network device; determining an equivalence failure, the equivalence failure corresponding to a comparison of the outcome of a formal equivalence analysis of the logical model of network intents and the concrete model of network intents to the outcome of a formal equivalence analysis of the logical model of network intents and the hardware model of network intents; receiving an indication of the equivalence failure the indication comprising the pair of outcomes of the formal equivalence analyses; analyzing the indication of the equivalence failure and the models (270A, 270B, 272, 274, 276) of network intents and identifying one or more constituent intents that caused the equivalence failure, comprising determining whether the logical model of network intents is correctly pushed to network device software as represented in the concrete model of network intents and whether the logical model of network intents is correctly implemented into network device hardware as represented in the hardware model of network intents; determining the granularity of the equivalence failure and the identified one or more constituent intents; and generating an event for external consumption, the event based at least in part on the equivalence failure, the granularity of the equivalence failure, and the identified one or more constituent intents, wherein generating the event comprises triggering a warning to a user of the network or triggering an automatic new push of the models of network intents to the network device. receiving a plurality of models (270A, 270B, 272, 274, 276) of network intents comprising: a logical model of network intents representing the logical configuration of the network at a device in the network, a concrete model of network intents representing the in-state configuration of the network at the network device, and a hardware model of network intents representing network traffic processing rules stored at the network device; determining an equivalence failure, the equivalence failure corresponding to a comparison of the outcome of a formal equivalence analysis of the logical model of network intents and the concrete model of network intents to the outcome of a formal equivalence analysis of the logical model of network intents and the hardware model of network intents; receiving an indication of the equivalence failure the indication comprising the pair of outcomes of the formal equivalence analyses; analyzing the indication of the equivalence failure and the models (270A, 270B, 272, 274, 276) of network intents and identifying one or more constituent intents that caused the equivalence failure, comprising determining whether the logical model of network intents is correctly pushed to network device software as represented in the concrete model of network intents and whether the logical model of network intents is correctly implemented into network device hardware as represented in the hardware model of network intents; determining the granularity of the equivalence failure and the identified one or more constituent intents; and generating an event for external consumption, the event based at least in part on the equivalence failure, the granularity of the equivalence failure, and the identified one or more constituent intents, wherein generating the event comprises triggering a warning to a user of the network or triggering an automatic new push of the models of network intents to the network device.