Issued Patents 2025
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12236218 | Software code verification using call graphs for autonomous systems and applications | Ashutosh Jain, Deepak Ravi, Karthik Raghavan Ravi, Kiran Sj, Yogesh Kini | 2025-02-25 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12236218 | Software code verification using call graphs for autonomous systems and applications | Ashutosh Jain, Deepak Ravi, Karthik Raghavan Ravi, Kiran Sj, Yogesh Kini | 2025-02-25 |