Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Using runtime information from solvers to measure quality of formal verification

Using runtime information from solvers to measure quality of formal verification

US Patent 10657307 · Granted May 19, 2020

Estimated economic value: $47,444,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Multi-dwelling unit (MDU)-group recording2025
User segmentation for multi-dwelling unit (MDU)2025
Interactive image generation2025
System and method for wireless media streaming from television receiver2025
Discontinuity detection in transport streams2025
Network segmentation for multi-dwelling unit (MDU)2025
Generating multiple internet protocol (IP) addresses in wireless network2024
Combination of network segmentation and user segmentation for multi-dwelling uni2024
Efficient media stream encryption providing full content protection2024
System and method for wireless media streaming from television receiver2024
Network segmentation for multi-dwelling unit (MDU)2024
Arbitrary view generation2024