Priyanka Darke -

Registered user since Fri 28 Dec 2018

Name:Priyanka Darke

Affiliation:Tata Consultancy Services

Contributions

2024

ICSME

Committee Member in Industry Track - Program Committee within the Industry Track-track
Author of Learning Strategies using Boolean Program Metrics to Verify Industrial Code within the Industry Track-track
Committee Member in Industry Track - Program Committee within the Industry Track-track

2023

ICSME

Author of OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems within the Industry Track-track

2019

ASE

Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track

2018

LCTES

Author of WIP: Statically Relating Program Properties for Efficient Verification within the LCTES 2018-track