4 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
Simmo Saan, Michael Schwarz, Julian Erhard +3
Witnesses record automated program analysis results and make them exchangeable. To validate correctness witnesses through abstract interpretation, we introduce a novel abstract ope…