Issued Patents 2011
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7941299 | Verification and validation system for a graphical model | William J. Aldrich | 2011-05-10 |
| 7865339 | Formal methods for test case generation | John Rushby, Leonardo De Moura | 2011-01-04 |