Correctness Witness Validation by Abstract Interpretation.

Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Browse the full VMCAI paper archive.