conf.researchr.org / Bharti Chimdyalwar

Not registered as user yet

Name: Bharti Chimdyalwar

Affiliation: Tata Consultancy Services

Contributions

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