Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints

Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints

US Patent 7730455 · Granted Jun 1, 2010

Estimated economic value: $229,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Methods for hydrocarbon recovery2025
Methods for hydrocarbon recovery2025
Methods for hydrocarbon recovery2025
Methods for hydrocarbon recovery2025
Bias mitigation in machine learning pipeline2023
Portable apparatus and methods for analyzing injection fluids2023
Accessible machine learning2022
Bias visualization for data sets2022
Automated inquiry response systems2022
Recommending multimedia based on user utterances2022
Interactive indoor navigation framework2022
Polymer compositions and methods of use2022