Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9483595 | Method for scalable liveness verification via abstraction refinement | Raj Kumar Gajavelly, Robert L. Kanzelman, Hari Mony, Pradeep Kumar Nalla | 2016-11-01 |
| 9471734 | System and program product for scalable liveness verification via abstraction refinement | Raj Kumar Gajavelly, Robert L. Kanzelman, Hari Mony, Pradeep Kumar Nalla | 2016-10-18 |
| 9280626 | Efficiently determining Boolean satisfiability with lazy constraints | Michael L. Case, Robert L. Kanzelman, Hari Mony | 2016-03-08 |