Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › System, method, and computer program product for constraint solving

System, method, and computer program product for constraint solving

US Patent 9189743 · Granted Nov 17, 2015

Estimated economic value: $9,918,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Method and system for debugging a system on chip under test2017
Method and system for automatically generating executable system-level tests2017
Method and system for automatically generating executable system-level tests2017
Generation of a random sub-space of the space of assignments for a set of genera2017
Coverage driven generation of constrained random stimuli2016
Enriched log viewer2016
Method and system for debugging a program that includes declarative code and pro2016
Method and system for test reduction and analysis2014
System, method, and computer program product for abstract software performance p2014
Systems and methods for automatically generating executable system level-tests f2013
Automation of software verification2012