Methods and apparatus to model and verify a hybrid network
US11411833B1 · kind B1 · utility
1Cited by
2References
14Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Apr 23, 2021 |
| Grant date | Aug 9, 2022 |
| Priority date | — |
| Expiry date | Apr 23, 2041 |
Classification
- Technology area (CPC H)Electricity
- CPC primaryH04L41/5019
- WIPO fieldDigital communication
- WIPO sectorElectrical engineering
Abstract
Methods, apparatus, systems, and articles of manufacture are disclosed herein to formally verify a network with both physical and virtual components. The modeling and formal verification is performed by an apparatus comprising: a topology generator to generate a network model including a plurality of devices connected in a network; a flow modeler to add a rule to the network model, the rule to define a flow of network packets through the network model; a reduction mapper to identify the rules common to ones of the devices; and a mapping verifier to verify the network meets a user specification.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.