Darke Priyanka

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
Information Patent Grant
Method and system for verifying properties of source code
- Patent number 10,877,870
- Issue date Dec 29, 2020
- TATA Consultancy Services Limited
- Bharti Dewrao Chimdyalwar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Loop abstraction for model checking
- Patent number 9,158,506
- Issue date Oct 13, 2015
- Tata Consultancy Services Limited
- Priyanka Dilip Darke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for automatic generation of test data to satisfy...
- Patent number 8,612,938
- Issue date Dec 17, 2013
- TATA CONSULTANCY SERVICES LIMITED
- Bokil Prasad
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for automatic test data generation for relational...
- Patent number 8,589,736
- Issue date Nov 19, 2013
- TATA CONSULTANCY SERVICES LIMITED
- Vijay Suman Pasupuleti
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
METHOD AND SYSTEM FOR SOURCE CODE VERIFICATION USING MACHINE LEARNI...
- Publication number 20240354219
- Publication date Oct 24, 2024
- TATA CONSULTANCY SERVICES LIMITED
- Priyanka DARKE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR FUNCTION CALL AND VARIABLE ACCESS BASED RELAX...
- Publication number 20220342680
- Publication date Oct 27, 2022
- TATA CONSULTANCY SERVICES LIMITED
- PRIYANKA DARKE
- G06 - COMPUTING CALCULATING COUNTING
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
Information Patent Application
METHOD AND SYSTEM FOR VERIFYING PROPERTIES OF SOURCE CODE
- Publication number 20190377658
- Publication date Dec 12, 2019
- TATA CONSULTANCY SERVICES LIMITED
- Bharti Dewrao CHIMDYALWAR
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LOOP ABSTRACTION FOR MODEL CHECKING
- Publication number 20150242188
- Publication date Aug 27, 2015
- TATA CONSULTANCY SERVICES LIMITED
- Priyanka Dilip Darke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR AUTOMATIC TEST DATA GENERATION FOR RELATIONAL...
- Publication number 20130042145
- Publication date Feb 14, 2013
- TATA CONSULTANCY SERVICES LIMITED
- Vijay Suman Pasupuleti
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR AUTOMATIC GENERATION OF TEST DATA TO SATISFY...
- Publication number 20100175052
- Publication date Jul 8, 2010
- TATA CONSULTANCY SERVICES LIMITED
- Bokil Prasad
- G06 - COMPUTING CALCULATING COUNTING

Darke Priyanka

Person

Patents Grantslast 30 patents

System and method for software verification

Method and system for counter example guided loop abstraction refin...

Method and system for verifying properties of source code

Loop abstraction for model checking

System and method for automatic generation of test data to satisfy...

System and method for automatic test data generation for relational...

Patents Applicationslast 30 patents

METHOD AND SYSTEM FOR SOURCE CODE VERIFICATION USING MACHINE LEARNI...

METHOD AND SYSTEM FOR FUNCTION CALL AND VARIABLE ACCESS BASED RELAX...

METHOD AND SYSTEM FOR COUNTER EXAMPLE GUIDED LOOP ABSTRACTION REFIN...

SYSTEM AND METHOD FOR SOFTWARE VERIFICATION

METHOD AND SYSTEM FOR VERIFYING PROPERTIES OF SOURCE CODE

LOOP ABSTRACTION FOR MODEL CHECKING

SYSTEM AND METHOD FOR AUTOMATIC TEST DATA GENERATION FOR RELATIONAL...

SYSTEM AND METHOD FOR AUTOMATIC GENERATION OF TEST DATA TO SATISFY...