Chanhee Cho, Yi Zhou 0025, Jay Bosamiya, Bryan Parno. A Framework for Debugging Automated Program Verification Proofs via Proof Actions. In Arie Gurfinkel, Vijay Ganesh 0001, editors, Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I. Volume 14681 of Lecture Notes in Computer Science, pages 348-361, Springer, 2024. [doi]
Abstract is missing.