@misc{indiciae77597f715cca,
  title = {Correctness Witness Validation by Abstract Interpretation},
  author = {Simmo Saan and Michael Schwarz and Julian Erhard and Helmut Seidl and Sarah Tilscher and Vesal Vojdani},
  year = {2023},
  doi = {10.1007/978-3-031-50524-9\_4},
  url = {https://arxiv.org/abs/2310.16572},
  note = {Source identifier: 2310.16572}
}