Issued Patents 2017
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9740589 | Lifting of bounded liveness counterexamples to concrete liveness counterexamples | Jason R. Baumgartner, Raj Kumar Gajavelly, Pradeep Kumar Nalla | 2017-08-22 |
| 9678853 | Lifting of bounded liveness counterexamples to concrete liveness counterexamples | Jason R. Baumgartner, Raj Kumar Gajavelly, Pradeep Kumar Nalla | 2017-06-13 |