Patent attributes
A network verification method may include identifying a data plane for routing traffic through a network that includes one or more forwarding tables for each switch of a plurality of switches in the data plane. The method may also include obtaining a forwarding behavior representation of the data plane based on the forwarding tables, and obtaining a forwarding rule from the one or more forwarding tables. The method may additionally include transforming the forwarding behavior representation based on the forwarding rule. The method may also include pruning meta-information about the forwarding rule that is redundant to forwarding behavior, and comparing the forwarding behavior representation of the data plane to one or more network properties of expected behavior of the data plane to detect one or more errors in the data plane as variations from the expected behavior.
