Methods and systems for distributed network verification
US12294501B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Feb 27, 2023 |
| Grant date | May 6, 2025 |
| Priority date | — |
| Expiry date | Feb 27, 2043 |
Classification
- Technology area (CPC H)Electricity
- CPC primaryH04L41/12
- WIPO fieldDigital communication
- WIPO sectorElectrical engineering
Abstract
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.