Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts.

Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Browse the full VMCAI paper archive.