Simmo Saan, Michael Schwarz 0007, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani. Correctness Witness Validation by Abstract Interpretation. In Rayna Dimitrova, Ori Lahav 0001, Sebastian Wolff 0001, editors, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Volume 14499 of Lecture Notes in Computer Science, pages 74-97, Springer, 2024. [doi]
Abstract is missing.