@misc{indiciae34ae0acf6fb9,
  title = {Diffy: Inductive Reasoning of Array Programs using Difference Invariants},
  author = {Supratik Chakraborty and Ashutosh Gupta and Divyesh Unadkat},
  year = {2021},
  url = {https://arxiv.org/abs/2105.14748},
  note = {Source identifier: 2105.14748}
}