Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Test case generation algorithm for a model checker

Test case generation algorithm for a model checker

US Patent 7523425 · Granted Apr 21, 2009

Estimated economic value: $1,693,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Sensor for connection to a joining partner, adaptor for installing the sensor to2023
Device and method for crimping connection elements, and crimping connection2022
Method and apparatus for managing system specifications2015
Method and apparatus for displaying graphical representations of graph layouts2014
Contact assembly for a relay and relay with contact assembly2013
Contact arrangement having a bent cord, relay having a contact arrangement and m2013
Method and apparatus for reconfiguring IC architectures2013
Transport roller for vegetables2011
Flexible corrugated hose assembly and connecting process2008
Electromagnetic relay with a triple contact bridge2006
Flexible corrugated hose fitting2006
Tube with a corrugated inner surface and an insertable component2003