@misc{indiciaed63d8c92ed1c,
  title = {Invariant Detection with Program Verification Tools},
  author = {Wei He},
  year = {2019},
  url = {https://arxiv.org/abs/1906.11929},
  note = {Source identifier: 1906.11929}
}