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