Inventor · disambiguated record
Bharti Chimdyalwar
Also filed as: CHIMDYALWAR BHARTI · CHIMDYALWAR BHARTI DEWRAO
7 granted patents·4 pending applications·3 citations·filing 2015–2025
69Inventor score
Files withTATA CONSULTANCY SERVICES LTD11
Top patents by PatentIndex Score
11 records- 0174US9158506B2Loop abstraction for model checkingTATA CONSULTANCY SERVICES LTD·Filed 2015·Granted Oct 13, 2015·3 cites·20 claims
- 0262US2025370907A1Privacy preserving verification strategy prediction of an input program using boolean relative metricsTATA CONSULTANCY SERVICES LTD·Filed 2025·Application pending·0 cites
- 0359US2024354219A1Method and system for source code verification using machine learning based strategy predictionTATA CONSULTANCY SERVICES LTD·Filed 2024·Application pending·0 cites
- 0453US2025110849A1Method and system for performing outer loop abstraction for efficient verification of reactive systemsTATA CONSULTANCY SERVICES LTD·Filed 2024·Application pending·0 cites
- 0548US12050906B2Method and system for identifying relevant changes for incremental verification of evolving softwareTATA CONSULTANCY SERVICES LTD·Filed 2022·Granted Jul 30, 2024·0 cites·9 claims
- 0648US2024143299A1Method and system for incremental functional approach-based dataflow analysisTATA CONSULTANCY SERVICES LTD·Filed 2023·Application pending·0 cites
- 0747US10877870B2Method and system for verifying properties of source codeTATA CONSULTANCY SERVICES LTD·Filed 2019·Granted Dec 29, 2020·0 cites·12 claims
- 0844US11650907B2Systems and methods for selective path sensitive interval analysisTATA CONSULTANCY SERVICES LTD·Filed 2021·Granted May 16, 2023·0 cites·12 claims
- 0941US12099822B2Method and system for identifying static analysis alarms based on semantics of changed source codeTATA CONSULTANCY SERVICES LTD·Filed 2022·Granted Sep 24, 2024·0 cites·18 claims
- 1040US12112162B2Method and system for mapping intermediate representation objects for facilitating incremental analysisTATA CONSULTANCY SERVICES LTD·Filed 2022·Granted Oct 8, 2024·0 cites·15 claims
- 1133US11275860B2System and method for software verificationTATA CONSULTANCY SERVICES LTD·Filed 2020·Granted Mar 15, 2022·0 cites·19 claims
Join the waitlist — get patent alerts
Get an alert when Bharti Chimdyalwar files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →