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

Chanhee Cho Yi Zhou Jay Bosamiya Bryan Parno

Published in: CAV (1) (2024)

Keyphrases

theorem prover
main contribution
theoretical framework
automated theorem provers
search engine
lightweight
action recognition
bayesian framework
fully automated
decision procedures