Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Formal model checking based approaches to optimized realizations of network functions in multi-cloud environments

Formal model checking based approaches to optimized realizations of network functions in multi-cloud environments

US Patent 10904099 · Granted Jan 26, 2021

Estimated economic value: $32,256,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Multi-domain and multi-tenant network topology model generation and deployment2024
Network topology model generation and deployment for machine learning systems2023
Apparatuses and methods related to connecting tunnels through a virtual switch2023
Multi-domain and multi-tenant network topology model generation and deployment2023
Determining formal models using weighting factors for computing elements in mult2022
Machine-learning infused network topology generation and deployment2022
Generation and deployment of inherited network topology models2022
Identifying edge clouds within networks2022
Identifying edge clouds within networks2022
Delayed recomputation of formal network topology models based on modifications t2022
Formal model checking based approaches to optimized realizations of network func2021
Formal model checking based approaches to optimized realizations of network func2021