Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8862439 | General numeric backtracking algorithm for solving satifiability problems to verify functionality of circuits and software | Andreas Kuehlmann, Kenneth L. McMillan | 2014-10-14 |
| 8656330 | Apparatus with general numeric backtracking algorithm for solving satisfiability problems to verify functionality of circuits and software | Andreas Kuehlmann, Kenneth L. McMillan | 2014-02-18 |
| 6301699 | Method for detecting buffer overflow for computer security | Yona Hollander, Ophir Rahman, Ury Segal | 2001-10-09 |
| 5555412 | Complier and method for alias checking in a complier | Keith Vernon Besaw, Robert J. Donovan | 1996-09-10 |