Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Efficient production of disjoint multiple traces

Efficient production of disjoint multiple traces

US Patent 7146301 · Granted Dec 5, 2006

Estimated economic value: $6,328,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Intermediate representation construction for static analysis2017
Intermediate representation construction for static analysis2015
Detecting data race and atomicity violation via typestate-guided static analysis2013
Static analysis using interactive and integration tools2013
Generation of partial traces in model checking2006
Model checking with layered localization reduction2005
Target design model behavior explorer2004
Target design model behavior explorer2004
Time-memory tradeoff control in counterexample production2003