Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9665350 | Automatic test generation for model-based code coverage | Zsolt Kalmar, William J. Aldrich | 2017-05-30 |
| 8903688 | Test entities for evaluation and validation of a model | William J. Aldrich, Anjali Joshi | 2014-12-02 |
| 8868399 | Timer analysis and identification | — | 2014-10-21 |
| 8666709 | Verification and validation system for a graphical model | William J. Aldrich | 2014-03-04 |
| 8301423 | Verification and validation system for a graphical model | William J. Aldrich | 2012-10-30 |
| 8260602 | Timer analysis and identification | — | 2012-09-04 |
| 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 |