conf.researchr.org / Bharti Chimdyalwar

Not registered as user yet

Name:Bharti Chimdyalwar
Affiliation:Tata Consultancy Services

Contributions

LCTES 2021 Author of WIP:Selective Path-sensitive Interval Analysis within the LCTES 2021-track
ASE 2019 Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track
LCTES 2018 Author of WIP: Statically Relating Program Properties for Efficient Verification within the LCTES 2018-track