Divyesh Unadkat

According to our database, Divyesh Unadkat authored at least 7 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Full-program induction: verifying array programs sans loop invariants.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Int. J. Softw. Tools Technol. Transf., 2022

2021

Diffy: Inductive Reasoning of Array Programs Using Difference Invariants.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Verifying Array Manipulating Programs with Full-Program Induction.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).

Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2017

Verifying Array Manipulating Programs by Tiling.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Proceedings of the Static Analysis - 24th International Symposium, 2017

2013

Scaling Model Checking for Test Generation Using Dynamic Inference.

Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Assertion Checking Using Dynamic Inference.

Anand Yeolekar, Divyesh Unadkat

Proceedings of the Hardware and Software: Verification and Testing, 2013