Inventor
CHIMDYALWAR BHARTI
IN5 patents
Patents
5 patentsUS11650907B2May 16, 2023
Systems and methods for selective path sensitive interval analysis
TATA CONSULTANCY SERVICES LTD0 citations47
US12050906B2Jul 30, 2024
Method and system for identifying relevant changes for incremental verification of evolving software
TATA CONSULTANCY SERVICES LTD0 citations45
US12099822B2Sep 24, 2024
Method and system for identifying static analysis alarms based on semantics of changed source code
TATA CONSULTANCY SERVICES LTD0 citations41
US11275860B2Mar 15, 2022
System and method for software verification
TATA CONSULTANCY SERVICES LTD0 citations41
US12112162B2Oct 8, 2024
Method and system for mapping intermediate representation objects for facilitating incremental analysis
TATA CONSULTANCY SERVICES LTD0 citations38