Tanha SHAH

Follow

Person

Pune, IN

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for software verification
- Patent number 11,275,860
- Issue date Mar 15, 2022
- TATA Consultancy Services Limited
- Priyanka Darke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for counter example guided loop abstraction refin...
- Patent number 11,200,146
- Issue date Dec 14, 2021
- TATA Consultancy Services Limited
- Priyanka Darke
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
METHOD AND SYSTEM FOR COUNTER EXAMPLE GUIDED LOOP ABSTRACTION REFIN...
- Publication number 20210240594
- Publication date Aug 5, 2021
- TATA CONSULTANCY SERVICES LIMITED
- Priyanka DARKE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SOFTWARE VERIFICATION
- Publication number 20210141914
- Publication date May 13, 2021
- TATA CONSULTANCY SERVICES LIMITED
- Priyanka DARKE
- G06 - COMPUTING CALCULATING COUNTING