Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
arXiv:1406.1556v11 citations
Originality Synthesis-oriented
AI Analysis
This work is incremental, updating a tool for formal verification users.
The paper describes improvements to ACL2, a theorem prover, across versions 6.2, 6.3, and 6.4, but does not specify concrete problems tackled or results with numbers.
We report on improvements to ACL2 made since the 2013 ACL2 Workshop.