Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1
Mathematical Software
2013-05-01 v1 Artificial Intelligence
Logic in Computer Science
Abstract
We report on highlights of the ACL2 enhancements introduced in ACL2 releases since the 2011 ACL2 Workshop. Although many enhancements are critical for soundness or robustness, we focus in this paper on those improvements that could benefit users who are aware of them, but that might not be discovered in everyday practice.
Keywords
Cite
@article{arxiv.1304.7855,
title = {Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1},
author = {Matt Kaufmann and J Strother Moore},
journal= {arXiv preprint arXiv:1304.7855},
year = {2013}
}
Comments
In Proceedings ACL2 2013, arXiv:1304.7123