Divyesh Unadkat

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (6)

• Diffy: Inductive Reasoning of Array Programs Using Difference Invariants
  2021 DOI: 10.1007/978-3-030-81688-9_42
  +Save
• VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
  2020 DOI: 10.1007/978-3-030-45237-7_25
  +Save
• Verifying Array Manipulating Programs with Full-Program Induction
  2020 DOI: 10.1007/978-3-030-45190-5_2
  +Save
• Verifying array manipulating programs by tiling
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017 DOI: 10.1007/978-3-319-66706-5_21
  +Save
• Assertion checking using dynamic inference
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2013 DOI: 10.1007/978-3-319-03077-7-14
  +Save
• Scaling model checking for test generation using dynamic inference
  Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013 2013 DOI: 10.1109/ICST.2013.29
  +Save