METHODS AND SYSTEMS FOR DISTRIBUTED NETWORK VERIFICATION

Methods and systems for partially or fully distributed network verification are described. In partially distributed network verification, each network device generates a respective device-level binary decision diagram (BDD) representing the logical behavior of the respective network device for a network property of interest. The device-level BDDs from each network device are received by a verification service that performs verification by generating an input BDD representing an input header space, and applies each device-level BDD in a logical path from a source device to a destination device, and reports the output BDD. In fully distributed network verification, each network device is responsible for calculating a device-specific output BDD by applying a device-specific BDD, which represents the logical behavior of the network device, to a device-specific input BDD. L'invention concerne des procédés et des systèmes pour la vérification de réseaux partiellement ou entièrement distribués. Dans la vérification de réseau partiellement distribué, chaque dispositif de réseau génère un diagramme de décision binaire (BDD) au niveau du dispositif respectif représentant le comportement logique du dispositif de réseau respectif pour une propriété de réseau d'intérêt. Les BDD de niveau dispositif de chaque dispositif du réseau sont reçus par un service de vérification qui effectue une vérification en générant une BDD d'entrée représentant un espace d'en-tête d'entrée, et applique chaque BDD de niveau dispositif dans un chemin logique d'un dispositif source à un dispositif de destination, et rapporte la BDD de sortie. Dans une vérification de réseau entièrement distribuée, chaque dispositif de réseau est responsable du calcul d'une BDD de sortie spécifique au dispositif en appliquant une BDD spécifique au dispositif, qui représente le comportement logique du dispositif de réseau, à une BDD d'entrée spécifique au dispositif.