Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Donut domains—efficient non-convex domains for abstract interpretation

Donut domains—efficient non-convex domains for abstract interpretation

US Patent 8719790 · Granted May 6, 2014

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Power conversion device control system2025
Automatic generation of patches for security violations2024
System interconnection power conversion device2024
Vehicle wire harness with sheath covering cables2022
Testing applications with a defined input format2018
Testing applications with a defined input format2018
Offline queries in software defined networks2017
Warning system for aircraft, and aircraft2016
Software testing using machine learning2014
Sleep control for energy efficiency in ethernet passive optical networks2014
Probabilistic model checking of systems with ranged probabilities2014
Probabilistic model checking of systems with ranged probabilities2014