公开(公告)号：US11411833B1

公开(公告)日：2022-08-09

申请号：US17239366

申请日：2021-04-23

Applicant: VMware, Inc.

Inventor： Giri Prashanth Subramanian ,  Santhosh Prabhu Muraleedhara Prabhu ,  Ravi Singhal ,  Atul Jadhav ,  Rohit Reja

IPC: H04L41/14 ,  H04L45/00 ,  H04L41/12

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.