@misc{indiciaee35ddc64876d,
  title = {Full-Program Induction: Verifying Array Programs sans Loop Invariants},
  author = {Supratik Chakraborty and Ashutosh Gupta and Divyesh Unadkat},
  year = {2022},
  url = {https://arxiv.org/abs/2209.12456},
  note = {Source identifier: 2209.12456}
}