Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7168009 | Method and system for identifying errors in computer software | John Darringer, Daniel Brand | 2007-01-23 |
| 7089542 | Method and apparatus for finding errors in software programs using satisfiability of constraints | Daniel Brand, John Darringer | 2006-08-08 |
| 6473884 | Method and system for equivalence-checking combinatorial circuits using interative binary-decision-diagram sweeping and structural satisfiability analysis | Malay Ganai, Geert Janssen, Andreas Kuehlmann, Viresh Paruthi | 2002-10-29 |
| 6035107 | Method for performing functional comparison of combinational circuits | Andreas Kuehlmann | 2000-03-07 |