Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7865339 | Formal methods for test case generation | John Rushby, Gregoire Hamon | 2011-01-04 |
| 7653520 | Method for combining decision procedures with satisfiability solvers | Harald Ruess | 2010-01-26 |