Issued Patents 2021
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11200146 | Method and system for counter example guided loop abstraction refinement | Priyanka Darke, Tanha Shah | 2021-12-14 |
| 11102250 | Controlling behavior of an internet of things (IoT) automation system by identifying policy violations | Rajesh Jayaprakash, Srinarayana Nagarathinam, Ramasubramanian SURIYANARAYANAN, Anand Sivasubramaniam | 2021-08-24 |
| 10977165 | Method and system for test case generation for event based systems using graph path traversal | Supriya Agrawal, Ulka Shrotri, Amey Zare, Sagar Kumar Verma | 2021-04-13 |