4 citations · 7 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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.LO2024★ 1 cited
Non-Numerical Weakly Relational Domains
Helmut Seidl, Julian Erhard, Sarah Tilscher +1
The weakly relational domain of Octagons offers a decent compromise between precision and efficiency for numerical properties. Here, we are concerned with the construction of non-n…