Priyanka Darke -

Registered user since Fri 28 Dec 2018

Name:Priyanka Darke

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