@misc{indiciae0dba6ce1959b,
  title = {Safety Verification and Refutation by k-invariants and k-induction (extended version)},
  author = {Martin Brain and Saurabh Joshi and Daniel Kroening and Peter Schrammel},
  year = {2015},
  url = {https://arxiv.org/abs/1506.05671},
  note = {Source identifier: 1506.05671}
}