Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Generation of counter examples for network intent formal equivalence failures

Generation of counter examples for network intent formal equivalence failures

US Patent 11303531 · Granted Apr 12, 2022

Estimated economic value: $38,344,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Security policy analysis2025
Assurance of security rules in a network2024
Distributed fault code aggregation across application centric dimensions2023
Shim layer for extracting and prioritizing underlying rules for modeling network2023
Assurance of security rules in a network2022
Static network policy analysis for networks2021
Assurance of security rules in a network2021
Identification of conflict rules in a network intent formal equivalence failure2021
Assurance of security rules in a network2021
Shim layer for extracting and prioritizing underlying rules for modeling network2021
Assurance of quality-of-service configurations in a network2020
Policy assurance for service chaining2020