Divyesh Unadkat

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