Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12190131 | Method and system for function call and variable access based relaxed backward slicing | Shrawan Kumar, Venkatesh Ramanathan, Sakshi Agrawal | 2025-01-07 |
| 11275860 | System and method for software verification | Bharti Chimdyalwar, AVRITI CHAUHAN, Punit B. Shah, Shrawan Kumar, Mohammad Afzal +4 more | 2022-03-15 |
| 11200146 | Method and system for counter example guided loop abstraction refinement | Tanha Shah, Venkatesh Ramanathan | 2021-12-14 |
| 10877870 | Method and system for verifying properties of source code | Bharti Chimdyalwar | 2020-12-29 |
| 9158506 | Loop abstraction for model checking | Bharti Chimdyalwar, Venkatesh R, Ulka Shrotri | 2015-10-13 |
| 8589736 | System and method for automatic test data generation for relational testing | Vijay Suman Pasupuleti, Tukaram B. Muske, Prasad Bokil, Ulka Shrotri, Venkatesh Ramanathan | 2013-11-19 |