Log in
Enquire now
‌

US Patent 12081395 Formal verification of network changes

Patent 12081395 was granted and assigned to VMware on September, 2024 by the United States Patent and Trademark Office.

OverviewStructured DataIssuesContributorsActivity

Contents

Patent abstractTimelineTable: Further ResourcesReferences
Is a
Patent
Patent
1

Patent attributes

Patent Applicant
VMware
VMware
1
Current Assignee
VMware
VMware
1
Patent Jurisdiction
United States Patent and Trademark Office
United States Patent and Trademark Office
1
Patent Number
120813951
Patent Inventor Names
Santhosh Prabhu Muraleedhara Prabhu1
Date of Patent
September 3, 2024
1
Patent Application Number
174109151
Date Filed
August 24, 2021
1
Patent Citations
‌
US Patent 8693344 Systems and methods for generating packet forwarding rules based on network policy
1
‌
US Patent 8750164 Hierarchical managed switch architecture
1
‌
US Patent 8942085 System and method for routing around failed links
1
‌
US Patent 8964569 Generic monitoring packet handling mechanism for OpenFlow 1.1
1
‌
US Patent 8971338 Expanding network functionalities for openflow based split-architecture networks
1
‌
US Patent 9042234 Systems and methods for efficient network traffic forwarding
1
‌
US Patent 9071529 Method and apparatus for accelerating forwarding in software-defined networks
1
‌
US Patent 9225601 Network-wide verification of invariants
1
...
Patent Primary Examiner
‌
Karen C Tang
1
CPC Code
‌
H04L 41/0886
1
‌
H04L 41/14
1
‌
H04L 47/2441
1
‌
H04L 41/0816
1
Patent abstract

A network insight system that performs intent verification of network changes is provided. The system generates a first model of a network comprising a first set of one or more rule tables, each rule table described by one or more flow nodes. The system generates a second model of the network comprising a second set of one or more rule tables. Each rule table is described by one or more flow nodes. Each flow node specifies a set of packets and an action to be taken on the specified set of packets. They system determines a set of differential flow nodes for the second model based on the flow nodes of the first model and the flow nodes of the second model. Each differential flow node is classified as being one of (i) newly removed, (ii) newly added, and (iii) unaffected. The system verifies a network change based on the determined differential flow nodes.

Timeline

No Timeline data yet.

Further Resources

Title
Author
Link
Type
Date
No Further Resources data yet.

References

Find more entities like US Patent 12081395 Formal verification of network changes

Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
Open Query Tool
Access by API
Golden Query Tool
Golden logo

Company

  • Home
  • Press & Media
  • Blog
  • Careers
  • WE'RE HIRING

Products

  • Knowledge Graph
  • Query Tool
  • Data Requests
  • Knowledge Storage
  • API
  • Pricing
  • Enterprise
  • ChatGPT Plugin

Legal

  • Terms of Service
  • Enterprise Terms of Service
  • Privacy Policy

Help

  • Help center
  • API Documentation
  • Contact Us
By using this site, you agree to our Terms of Service.