Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9483595 | Method for scalable liveness verification via abstraction refinement | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony, Pradeep Kumar Nalla | 2016-11-01 |
| 9471734 | System and program product for scalable liveness verification via abstraction refinement | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony, Pradeep Kumar Nalla | 2016-10-18 |