Issued Patents All Time
Showing 51–53 of 53 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7168009 | Method and system for identifying errors in computer software | John Darringer, Florian Krohm | 2007-01-23 |
| 7089542 | Method and apparatus for finding errors in software programs using satisfiability of constraints | John Darringer, Florian Krohm | 2006-08-08 |
| 4816999 | Method of detecting constants and removing redundant connections in a logic network | Charles L. Berman, Louse H. Trevillyan | 1989-03-28 |