Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Transitioning legacy software to be provably correct

Transitioning legacy software to be provably correct

US Patent 11797317 · Granted Oct 24, 2023

Estimated economic value: $217,954,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Verified access control policy compilation for access management2025
Access control policy optimization2025
Authorization policy evaluation2025
Access control policy analysis in a multi-provider network environment2025
Creating access control policies from access request event logs2025
Automated packetless network reachability analysis2025
Authorization policy analysis2025
Verifying translated access controls for application modernization2025
Automated policy refiner for cloud-based identity and access management systems2025
Detecting conflicts between a generated access management policy and invoked acc2025
Secure data handling discovery2025
Authorization policy validation2025