Get our free extension to see links to code for papers anywhere online!Free add-on: code for papers everywhere!Free add-on: See code for papers anywhere!
Add to Chrome
Add to Firefox
Add to EdgeAdvances in ACL2 Proof Debugging Tools
Nov 15, 2023
The experience of an ACL2 user generally includes many failed proof attempts. A key to successful use of the ACL2 prover is the effective use of tools to debug those failures. We focus on changes made after ACL2 Version 8.5: the improved break-rewrite utility and the new utility, with-brr-data.
* EPTCS 393, 2023, pp. 67-81 * In Proceedings ACL2-2023, arXiv:2311.08373
View paper on