cs.PL 68N30 D.2.4
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
Julian Erhard Manuel Bentele Matthias Heizmann Dominik Klumpp Simmo Saan Frank Schüssele Michael Schwarz Helmut Seidl Sarah Tilscher Vesal Vojdani