Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7657867 | System and method for generating a predicate abstraction of a program | Thomas J. Ball, Sriram K. Rajamani, Todd Millstein | 2010-02-02 |
| 7058925 | System and method for generating a predicate abstraction of a program | Thomas J. Ball, Sriram K. Rajamani, Todd Millstein | 2006-06-06 |