Inventor · disambiguated record
Priyanka Darke
Also filed as: DARKE PRIYANKA · DARKE PRIYANKA DILIP
6 granted patents·3 pending applications·8 citations·filing 2011–2025
71Inventor score
Top patents by PatentIndex Score
9 records- 0179US11200146B2Method and system for counter example guided loop abstraction refinementTATA CONSULTANCY SERVICES LTD·Filed 2020·Granted Dec 14, 2021·2 cites·9 claims
- 0274US9158506B2Loop abstraction for model checkingTATA CONSULTANCY SERVICES LTD·Filed 2015·Granted Oct 13, 2015·3 cites·20 claims
- 0362US2025370907A1Privacy preserving verification strategy prediction of an input program using boolean relative metricsTATA CONSULTANCY SERVICES LTD·Filed 2025·Application pending·0 cites
- 0459US8589736B2System and method for automatic test data generation for relational testingPASUPULETI VIJAY SUMAN·Filed 2011·Granted Nov 19, 2013·3 cites·9 claims
- 0559US2024354219A1Method and system for source code verification using machine learning based strategy predictionTATA CONSULTANCY SERVICES LTD·Filed 2024·Application pending·0 cites
- 0653US2025110849A1Method and system for performing outer loop abstraction for efficient verification of reactive systemsTATA CONSULTANCY SERVICES LTD·Filed 2024·Application pending·0 cites
- 0747US12190131B2Method and system for function call and variable access based relaxed backward slicingTATA CONSULTANCY SERVICES LTD·Filed 2022·Granted Jan 7, 2025·0 cites·18 claims
- 0847US10877870B2Method and system for verifying properties of source codeTATA CONSULTANCY SERVICES LTD·Filed 2019·Granted Dec 29, 2020·0 cites·12 claims
- 0933US11275860B2System and method for software verificationTATA CONSULTANCY SERVICES LTD·Filed 2020·Granted Mar 15, 2022·0 cites·19 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →