Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Variable graph minimization for improved model-checking performance

Variable graph minimization for improved model-checking performance

US Patent 7640536 · Granted Dec 29, 2009

Estimated economic value: $3,815,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Methods and systems for automated processing of database records on a system of 2024
IoT event detector correctness verification2024
Transitioning legacy software to be provably correct2023
Customizing modular workflows for processing of database records2022
Methods and systems for processing database records based on results of a dynami2022
Anonymizing sensitive data in logic problems for input to a constraint solver2021
Processing of transaction records in a database based on reason codes2021
Workflow automation through tagging of database records2020
Recreational vehicle with retractable sleeping unit2018
Methods of using (1S,3S)-3-amino-4-difluoromethylenyl-1-cyclopentanoic acid2015
Method and system for the development of high-assurance computing elements2014
Control algorithm for autothermal reformer2013