1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
Julian Erhard, Manuel Bentele, Matthias Heizmann +7
Static analyzers are typically complex tools and thus prone to contain bugs themselves. To increase the trust in the verdict of such tools, witnesses encode key reasoning steps und…
cs.PL2023
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)
Matthias Heizmann, Dominik Klumpp, Frank Schüssele +1
We address the verification problem for concurrent program that dynamically create (fork) new threads or destroy (join) existing threads. We present a reduction to the verification…