A Framework for Debugging Automated Program Verification Proofs via Proof Actions.

Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno

Browse the full CAV paper archive.