Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8595707 | Processing predicates including pointer information | Vladimir A. Levin, Leonardo M. de Moura, Thomas J. Ball | 2013-11-26 |
| 8402444 | Program analysis through predicate abstraction and refinement | Thomas J. Ball, Vladimir A. Levin, Rahul Kumar | 2013-03-19 |