Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani: Correctness Witness Validation by Abstract Interpretation. Zenodo 2023