This website requires JavaScript.
DOI: 10.4204/EPTCS.393.7

Advances in ACL2 Proof Debugging Tools

Matt Kaufmann (UT Austinretired)J Strother Moore (UT Austinretired)
Nov 2023
0被引用
0笔记
摘要原文
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.
展开全部
机器翻译
AI理解论文&经典十问
图表提取
参考文献
发布时间 · 被引用数 · 默认排序
被引用
发布时间 · 被引用数 · 默认排序
社区问答