Divyesh Unadkat

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 9

Top Topics

Intermediate Level

Imperative Programs

Symbolic Execution

Inductive Reasoning

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Full-Program Induction: Verifying Array Programs sans Loop Invariants. CoRR (2022)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Full-program induction: verifying array programs sans loop invariants. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Diffy: Inductive Reasoning of Array Programs using Difference Invariants. CoRR (2021)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Diffy: Inductive Reasoning of Array Programs Using Difference Invariants. CAV (2) (2021)
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). TACAS (2) (2020)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Verifying Array Manipulating Programs with Full-Program Induction. TACAS (1) (2020)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Verifying Array Manipulating Programs with Full-Program Induction. CoRR (2020)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Verifying Array Manipulating Programs by Tiling. SAS (2017)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Verifying Array Manipulating Programs by Tiling. CoRR (2017)
Anand Yeolekar, Divyesh Unadkat
Assertion Checking Using Dynamic Inference. Haifa Verification Conference (2013)
Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh
Scaling Model Checking for Test Generation Using Dynamic Inference. ICST (2013)