TY  - RPRT
TI  - Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
AU  - Julian Erhard
AU  - Manuel Bentele
AU  - Matthias Heizmann
AU  - Dominik Klumpp
AU  - Simmo Saan
AU  - Frank Schüssele
AU  - Michael Schwarz
AU  - Helmut Seidl
AU  - Sarah Tilscher
AU  - Vesal Vojdani
PY  - 2024
UR  - https://arxiv.org/abs/2411.16612
ID  - 2411.16612
ER  -