notesum.ai

Published at November 25

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)

cs.PL

Released Date: November 25, 2024

Authors: Julian Erhard¹, Manuel Bentele², Matthias Heizmann³, Dominik Klumpp², Simmo Saan⁴, Frank Schüssele², Michael Schwarz¹, Helmut Seidl¹, Sarah Tilscher¹, Vesal Vojdani⁴

Aff.: ¹Technical University of Munich, Garching, Germany; ²University of Freiburg, Freiburg, Germany; ³University of Stuttgart, Stuttgart, Germany; ⁴University of Tartu, Tartu, Estonia

Arxiv: http://arxiv.org/abs/2411.16612v1