Concepedia

Bharti Chimdyalwar

BC

4

Publications

94

Citations

4

H-Index

2013

Active since

Affiliations

Tata Consultancy Services (India)(Current)

Bharti Chimdyalwar is an author at Tata Consultancy Services (India) specializing in computer science, software analysis, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringVerificationAutomated ReasoningSystems Engineering

Publications per year

2013–2019

4

Publications

4

VeriAbs : Verification by Abstraction and Test Generation

Mohammad Atif Faiz Afzal, A. Asia, Avriti Chauhan et al. · 2019 · 42 citations

Program Checking, Engineering, Verification +20

Over-Approximating Loops to Prove Properties using Bounded Model Checking

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 22 citations

Program Checking, Engineering, Verification +18

Precise range analysis on large industry code

Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri · 2013 · 18 citations

Mathematical Programming, Engineering, Industrial Engineering +25

Over-approximating loops to prove properties using bounded model checking

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh et al. · Design, Automation, and Test in Europe · 2015 · 12 citations

Program Checking, Engineering, Verification +18

Rows per page

1–4 of 4