Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12112162 | Method and system for mapping intermediate representation objects for facilitating incremental analysis | Anushri Jana, Ankita Shamrao Khadsare, Vaidehi Manoj Ghime | 2024-10-08 |
| 12099822 | Method and system for identifying static analysis alarms based on semantics of changed source code | Anushri Jana, Ankita Shamrao Khadsare, Vaidehi Manoj Ghime, Ramanathan Venkatesh, Shrawan Kumar | 2024-09-24 |
| 12050906 | Method and system for identifying relevant changes for incremental verification of evolving software | Anushri Jana, Shrawan Kumar | 2024-07-30 |
| 11650907 | Systems and methods for selective path sensitive interval analysis | Shrawan Kumar | 2023-05-16 |
| 11275860 | System and method for software verification | Priyanka Darke, AVRITI CHAUHAN, Punit B. Shah, Shrawan Kumar, Mohammad Afzal +4 more | 2022-03-15 |
| 10877870 | Method and system for verifying properties of source code | Priyanka Darke | 2020-12-29 |
| 9158506 | Loop abstraction for model checking | Priyanka Darke, Venkatesh R, Ulka Shrotri | 2015-10-13 |