Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7657867 | System and method for generating a predicate abstraction of a program | Thomas J. Ball, Sriram K. Rajamani, Rupak Majumdar | 2010-02-02 |
| 7058925 | System and method for generating a predicate abstraction of a program | Thomas J. Ball, Sriram K. Rajamani, Rupak Majumdar | 2006-06-06 |
| 7024661 | System and method for verifying computer program correctness and providing recoverable execution trace information | K. Rustan M. Leino, James B. Saxe | 2006-04-04 |